02 juin 2025 Colloque Formalisation des mathématiques et types dépendants 02 juin 2025 Partager Facebook Linkedin Copier le lien
Lundi 2 juin 2025 Voir aussi : Thierry Coquand Ajouter le cycle à mon agenda iCalendar (.ics) Google Calendar Microsoft Outlook.com Office 365 Yahoo! Calendar Programme Colloque 09:00 - 18:00 Formalisation des mathématiques et types dépendants Thierry Coquand 02 juin 2025 Formalisation des mathématiques et types dépendants Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 02 juin 2025 09:00 - 18:00 Voir aussi Thierry Coquand, chaire Informatique et sciences numériques
Colloque 09:00 - 18:00 Formalisation des mathématiques et types dépendants Thierry Coquand 02 juin 2025 Formalisation des mathématiques et types dépendants Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 02 juin 2025 09:00 - 18:00
