Séminaire PPS
Jeudi à 11h,
175 rue du Chevaleret, Paris 13ème.
Jeudi 24 Septembre, salle 3E91 -- Hugo Herbelin (INRIA et PPS),
Sur quelques problèmes ouverts de la théorie de Coq et leurs conséquences pratiques
A suivre:
Jeudi 15 Octobre, salle 3E91 -- Andreas Abel (LMU, Munich), TBA
