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