Précédent : Diffusion des résultats Remonter : Diffusion des résultats Suivant : Encadrement

Actions d'enseignement

Les activités d'enseignement de P. Audebaud, J. Courant et J. Duprat se font dans le cadre de leur service à l'Ecole Normale Supérieure de Lyon.

B. Barras est chargé de Travaux Pratiques dans le cours d'Algorithmique de 2ème année de DEUG à l'université Paris 7.

Samuel Boutin était chargé d'exercices dirigés pour le cours de programmation ``CAML et ADA'' au Conservatoire National des Arts et Métiers.

G. Dowek a donné un cours ``Preuves constructives'' dans le DEA ``Sémantique, Preuves et Programmation'', un cours ``Démonstration automatique'' à l'Ecole Nationale Supérieure des Techniques Avancées qui a donné lieu à la rédaction de notes. Il a participé au jury des stages de fins d'études à l'Ecole Nationale Supérieure des Techniques Avancées.

G. Dowek et C. Paulin ont donné un cours à l'école des jeunes chercheurs du GDR Programmation à Bordeaux.

J. Duprat est examinateur a l'épreuve d'informatique du concours d'entrée de l'Ecole Polytechnique.

H. Herbelin a été chargé d'enseignement à l'université Paris 7 jusqu'en septembre 1996. A partir d'octobre 1996, il a enseigné à l'université de Nanterre. Il a dispensé en licence d'informatique des travaux dirigés de logique propositionnelle et de programmation fonctionnelle basée sur Caml-Light. Il a dispensé des travaux dirigés de logique en Deug de psychologie et de programmation Pascal en Deug MASS.

H. Laulhère était chargé de TD pour le cours d'algorithmique de première année de l'Ecole Polytechnique.

C. Paulin a donné un cours ``Types et Preuves'' au DEA d'Informatique de Lyon et un cours sur les langages fonctionnels typés en magistère d'informatique à l'ENS Lyon.

Amokrane Saïbi était chargé de TD pour le cours de programmation ``CAML et ADA'' au Conservatoire National des Arts et Métiers. Pendant le premier semestre de 96-97, A. Saïbi était chargé de TD et TP du module d'Algorithmique en licence d'informatique, et de programmation Pascal en DEUG.

B. Werner enseigne l'utilisation de Coq en enseignement thématique d'informatique à l'Ecole Nationale Supérieure des Techniques Avancées.

Précédent : Diffusion des résultats Suivant : Encadrement Remonter : Diffusion des résultats