Seminaire PPS: Marcelo Fiore, jeudi 26/01 11h salle 1D23

Chers tous, le seminaire de jeudi prochain, 26 janvier, est donne par  Marcelo Fiore (Cambridge), en visite a PPS: Algebraic Foundations for Type Theories https://www.pps.jussieu.fr/seminaire/ Le séminaire est a 11h en salle 1D23, et sera précédé d'un pot informel avec café et croissants à partir de 10h45.  A bientot, Claudia