Trainings

Seminars

The "Master Parisien de Recherche en Informatique" (MPRI)

  • Homepage of the class Fondements des systèmes de preuves (course 2-7-1)
  • Main page for the class Assistants de preuves (course 2-7-2)
  • Master Thesis training periods 2007-08 (in French)
  • Notes on Type Theory by Gilles Dowek (in French)