Précédent : Diffusion des résultats Remonter :
Diffusion des
résultats Suivant : Conférences invitéesséminaires
Nous avons encadré six stagiaires de DEA : P. Boulvais, A.
Cougoulic, F. Keryell, V.-A. Nicolas, M. Périn et S. Schoenig. En
plus des enseignements assurés au titre des services réguliers de
nos enseignants-chercheurs, nous sommes intervenus dans les
occasions suivantes :
- Y. Bekkers a assuré des formations à
Prolog dans le cadre de l'école ``Jeunes
Chercheurs'' du GDR Programmation et à l'université de Porto
Alegre (Brésil). Il enseigne également 
Prolog en DEA d'informatique à Rennes.
- C. Consel enseigne l'évaluation partielle en DEA
d'informatique à Rennes.
- M. Ducassé donne un cours sur le langage de spécification
formelle B à l'École Polytechnique Fédérale de Lausanne,
Suisse.
- D. Le Métayer intervient en DEA d'informatique à Rennes sur
le thème ``Programmation fonctionnelle''.
- O. Ridoux a encadré un stage d'élève ingénieur du CNAM de
Caen.