Project : logical

Section: Dissemination

Teaching

Gilles Dowek is supersivor of Oliver Hermant's and Florent Kirchner's PhD theses.

Pierre Castéran parcipated to the direction of Houda Anoun's PhD thesis (Bordeaux) on the representation of categorial grammars in the calculus of inductive constructions (with Christian Retoré and Paul Gloess).

Pierre Castéran started in October 2004 a participation in the direction of Tran Van Truc's thesis on partial knowledge in linguistics (direction: Alain Lecomte, University Pierre Mendès France, Grenoble, and Areski Nait Abdallah University of Brest).

Bruno Barras supervised Clément Renard's PhD thesis.

Hugo Herbelin is supervisor of Julien Narboux's PhD thesis and co-supervisor with Alexandre Miquel from University Paris 7 of Sylvain Lebresne PhD's thesis that started in October 2004.

Benjamin Werner supervised Roland Zumkeller's PhD thesis.

Benjamin Werner and Bruno Barras taught a master's degree course (MPRI) ``Constructive Proofs'' at University Paris 7.

Benjamin Werner taught Coq and programming language semantics at the Ecole Nationale Supérieure des Techniques Avancées (Paris).

Julien Narboux taught compilation methods to fourth year student and principles of interpretation of programs to second year students at University Paris XI. He also gave practical courses of introduction to computer science to first year students at Ecole Polytechnique.

Clément Renard taught mathematics for computer science and logic to third year students at Orsay university.