Précédent : Enseignement universitaire Remonter :
Actions
d'enseignement Suivant : Jurys de thèse
- Séminaire Coq au CNAM
- T. Hardin a organisé, en collaboration avec V.
Donzeau-Gouge Viguié, deux journées de formation à Coq et
CTCoq, animée par des membres des projets COQ (G. Dowek, A.
Saibi, B. Werner) et CROAP (Y. Bertot). Ces journées se sont
déroulées en juin et octobre dans les locaux du CNAM (50
participants).
- Cours INRIA
- R. Ehrlich a donné pour la quatrième fois un cours sur le
noyau Unix dans le cadre des cours de formation interne à
l'INRIA.