Précédent : Diffusion des résultats Remonter : Diffusion des résultats Suivant : Participation à des conférences et
Précédent : Diffusion des résultats Remonter :
Diffusion des résultats Suivant :
Participation à des conférences et
R. Amadio et G. Boudol ont donné un cours (8h + 12h) sur « Lambda-Calcul et Parallélisme » au DEA de mathématiques discrètes et fondements de l'informatique de l'université de la méditerranée. Dans le même DEA I. Castellani a donné un cours sur la « Modélisation et verification de systèmes distribués » (4h).
R. Amadio a donné un cours sur le 
-calcul (6h), dans le cadre d'une école pour jeunes chercheurs
organisée par le GDR Programmation. Outre les enseignements liés
à sa fonction, il donne un cours de logique dans le DEA
Informatique de Marseille.
R. de Simone a donné un cours (24h) commun aux DEA Info et RSD de l'université de Nice. F. Boussinot a participé (6h) à l'enseignement du DEA Info de Charles André.
G. Berry a donné un cours (14h) sur la synthèse et la vérification des sysèmes d'états finis à la 9eme Asian School of Computer Science, Rayong, Thailande.
V. Roy, A. Bouali, F. Boussinot, M. Robert, G. Berry, X. Fornari enseignent à l'Isia (de l'ordre de 150h globalement), et y encadrent des projets d'étudiants.
Carolina Lavatelli a soutenu le 22 janvier sa thèse « Sémantique du Lambda-Calcul avec Ressources », effectuée sous la direction de G. Boudol, à l'université Paris 7.