Thierry Coquand Enseignements Informatique et sciences numériques Enseignements Menu de la chaire La chaire Biographie et publications Enseignements Audios & vidéos Actualités Podcasts / RSS Apple Podcasts Spotify Flux RSS Podcasts Flux RSS Actualités Flux RSS Audiovisuel Partager Facebook LinkedIn Bluesky Threads Copier le lien
La chaire Biographie et publications Enseignements Audios & vidéos Actualités À venir Précédent Colloque 02 juin 2025 Thierry Coquand Formalisation des mathématiques et types dépendants Suivant 3 cycles Filtres Type d'enseignement Type d'enseignement Cours (1) Colloque (1) Leçon inaugurale (1) Année académique Année académique 2024 - 2025 (3) 2024 - 2025 Leçon inaugurale 18:00 - 19:00 La théorie des types, de Russell aux assistants à la démonstration Thierry Coquand 13 Mar 2025 Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 13 Mar 2025 18:00 - 19:00 Cours Théorie des types dépendants et formalisation des mathématiques Thierry Coquand 17 Mar 2025 → 19 mai 2025 17 Mar 2025 → 19 mai 2025 Colloque Formalisation des mathématiques et types dépendants Thierry Coquand 02 juin 2025 02 juin 2025
Leçon inaugurale 18:00 - 19:00 La théorie des types, de Russell aux assistants à la démonstration Thierry Coquand 13 Mar 2025 Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 13 Mar 2025 18:00 - 19:00
Cours Théorie des types dépendants et formalisation des mathématiques Thierry Coquand 17 Mar 2025 → 19 mai 2025 17 Mar 2025 → 19 mai 2025
Colloque Formalisation des mathématiques et types dépendants Thierry Coquand 02 juin 2025 02 juin 2025
