A. Saïbi et S. Boutin sont chargés de Travaux Dirigés dans le cours ``CAML et ADA'' du CNAM.
Les activités d'enseignement de P. Audebaud et J. Duprat se font dans le cadre de leur service à l'Ecole Normale Supérieure de Lyon.
P. Audebaud a donné un cours `` Aspects dynamiques du lambda-calcul pur'' au DEA d'Informatique Fondamentale à l'ENS-Lyon.
G. Dowek a donné un cours ``Preuves constructives'' dans le DEA ``Sémantique et preuves de programmes''.
G. Dowek a donné un cours ``Démonstration automatique'' à l'Ecole Nationale Supérieure des Techniques Avancées.
H. Herbelin est chargé d'enseignement à l'université Paris 7. Il a dispensé en licence des travaux dirigés d'Unix et de logique propositionnelle. Il a aussi donné en maîtrise un cours de programmation fonctionnelle basé sur Caml-Light.
C. Paulin a donné un cours ``Types et Preuves'' au DEA d'Informatique de Lyon.
B. Werner est chargé de travaux pratiques à l'Ecole Polytechnique.