Précédent : Thèses Remonter : Thèses Suivant : Diffusion de logiciels

Stages

Le projet a accueilli les stagiaires suivants :

• Mouloud Bourbel. (coencadré avec Eric Madelaine du projet MEIJE),
  « Environnement interactif de développement de preuves pour des langages parallèles », DEA d'Informatique Lyonnais (DIL), 4 mois.
• Sylvain Lippi. (coencadré avec Denis Caromel du projet SLOOP) « Modélisation et preuve d'équivalence de programmes Eiffel// en TLA », DEA Université de Marseille Luminy, 3 mois.