previous up next contents
Précédent : Enseignement universitaire Remonter : Actions d'enseignement Suivant : Jurys de thèse

Autres actions d'enseignement

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.