![[Show/Hide Left Column]](img/icons/oleftcol.png "[Show/Hide Left Column]"){kind=icon}
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 - (1091 Reads)
SAVE THE DATETuesday afternoon, june 4, 2019Universality of Proofs in SaCLayGT UPScale LRI, in the PCRI building (650), room 465
|