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

Axiomatization, Formalization and Completeness (2)

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