17:00 à 18:00
Conférencier invité

Axiomatization, Formalization and Completeness (1)

Michael Detlefsen
Amphithéâtre Mireille-Delmas-Marty, Site Marcelin-Berthelot
En libre accès, dans la limite des places disponibles
-