17:00 to 18:00
Guest lecturer

Axiomatization, Formalization and Completeness (2)

Michael Detlefsen
Salle 5, Site Marcelin Berthelot
Open to all, subject to availability
-