Organizers :
- Chantal Keller, LRI, UPSud
Speakers :
- Emilio Gallego - Mines ParisTech,
- Émilie Grienenberger, ENS Paris Saclay,
- Quentin Garchery, Université Paris Sud
SAVE THE DATETuesday afternoon, june 4, 2019Universality of Proofs in SaCLayGT UPScale LRI, in the PCRI building (650), room 465 AccessProgram |