17:00 to 18:00
Guest lecturer

Axiomatization, Formalization and Completeness (2)

Michael Detlefsen
Mireille-Delmas-Marty Amphitheater, Marcelin-Berthelot Site
Open to all, subject to availability
-