Précédent : Animation de la communauté scientifique Remonter : Diffusion de résultats Suivant : Participation à des colloques, séminaires,
Précédent : Animation de la communauté
scientifique Remonter : Diffusion de résultats
Suivant : Participation à des colloques,
séminaires,
Mireille Ducassé a donné un cours de 16 heures sur la méthode B à l'université Ludwig-Maximilian de Munich, chaire du professeur François Bry, en avril 1998.
Daniel Le Métayer assure une partie d'option de DEA sur les langages fonctionnels et l'analyse de programmes (15h).
Olivier Ridoux a fait partie du comité de réflexion pour le renouvellement de l'habilitation du DEA d'informatique de l'Ifsic.
Par ailleurs, le projet a reçu Ranjit Jhala, étudiant de l'Indian Institute of Technology à Delhi pour un stage de deux mois sur le typage et l'analyse de flot de contrôle en Java et il a encadré deux étudiants de DEA sur les sujets suivants: