jeudi prochain, 8 Mars,
nous accueillons
Olivier Hermant (ISEP)
"From normalization to cut elimination"
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
Aucun commentaire:
Enregistrer un commentaire