=== Archives ===

  * Mercredi 14 octobre 2015 : Danko Ilik, //The exp-log normal form of formulas//
  * Mercredi 16 septembre 2015 :
    * à 14h : Alexandre Miquel, //An axiomatic presentation of forcing (or: forcing for the dummies)//
    * à 15h : Nicolas Tabareau, //Vers un analogue de l'axiome de Giraud en HoTT//
  * Mercredi 9 septembre 2015 : Andrej Bauer, //A sound and complete language for type theory with equality reflection//