Organizers :
- Chantal Keller, LRI, UPSud
Speakers :
- Emilio Gallego - Mines ParisTech,
- Émilie Grienenberger, ENS Paris Saclay,
- Quentin Garchery, Université Paris Sud
Séminaire GT UPSCaLe
Author: Isabelle Huteau - Published At: 2019-05-28 11:37 - (1172 Reads)
SAVE THE DATETuesday afternoon, june 4, 2019Universality of Proofs in SaCLayGT UPScale LRI, in the PCRI building (650), room 465
|