02 juin 2025 10:00 à 10:05 Colloque Introduction Thierry Coquand Formalisation des mathématiques et types dépendants 02 juin 2025 10:00 à 10:05 Partager Facebook LinkedIn Bluesky Threads Copier le lien Flux RSS Audiovisuel
Lundi 2 juin 2025 Amphithéâtre Guillaume Budé, Site Marcelin Berthelot En libre accès, dans la limite des places disponibles 10:00 - 10:05 Ajouter l'événement à mon agenda iCalendar (.ics) Google Calendar Microsoft Outlook.com Office 365 Yahoo! Calendar Intervenant(s) Thierry Coquand Professeur en informatique, Université de Göteborg, Suède Événements Précédent Colloque 02 juin 2025 10:00 à 10:05 Thierry Coquand Introduction Colloque 02 juin 2025 10:05 à 10:45 Antoine Chambert-Loir Sur la formalisation des puissances divisées Colloque 02 juin 2025 11:00 à 11:45 Assia Mahboubi Preuves formelles mutatis mutandis Colloque 02 juin 2025 14:00 à 14:45 Pierre-Marie Pedrot Fondements ? Colloque 02 juin 2025 15:30 à 16:15 Riccardo Brasca Recent Progress in the Formalization of Number Theory Colloque 02 juin 2025 16:30 à 17:15 Denis-Charles Cisinski The logic of higher category theory Colloque 02 juin 2025 17:15 à 17:20 Thierry Coquand Conclusion Suivant Voir aussi Thierry Coquand, chaire Informatique et sciences numériques Formalisation des mathématiques et types dépendants
Colloque 02 juin 2025 10:05 à 10:45 Antoine Chambert-Loir Sur la formalisation des puissances divisées
Colloque 02 juin 2025 15:30 à 16:15 Riccardo Brasca Recent Progress in the Formalization of Number Theory
