TBA


Valentin Blot, Laboratoire Spécification et Vérification (École normale supérieure Paris-Saclay). 28 mars 2019 10:00 limd 2:00:00
Abstract:

TBA