Précédent : Conférences invitéestutoriels, cours, etc. Remonter : Diffusion des résultats Suivant : Thèses

Actions d'enseignement

Isabelle Attali fait partie du conseil scientifique du DEA informatique de l'université de Nice Sophia Antipolis, et est responsable du module sémantique des langages de programmation. Elle est également responsable scientifique de l'ecole jeunes chercheurs en programmation.

Isabelle Attali, Laurence Rideau et Delphine Terrasse du projet MEIJE assurent un module de tronc commun de 40 heures au DEA Informatique de l'Université de Nice Sophia Antipolis.

Isabelle Attali, Yves Bertot et Joëlle Despeyroux enseignent une option « Sémantique des langages de programmation » au DEA de mathématiques discrètes et fondements de l'informatique (MDFI), à l'université de Marseille : 25 heures.