Thierry Coquand Enseignements Informatique et sciences numériques Enseignements Menu de la chaire La chaire Biographie et publications Enseignements Podcasts / RSS Flux RSS Actualités Flux RSS Audiovisuel Partager Facebook X (ex-Twitter) Linkedin Copier le lien
La chaire Biographie et publications Enseignements À venir Précédent Leçon inaugurale 13 Mar 2025 18:00 à 19:00 Thierry Coquand La théorie des types, de Russell aux assistants à la démonstration Cours 17 Mar 2025 10:00 à 11:00 Thierry Coquand La théorie des types, de Russell à de Bruijn Cours 24 Mar 2025 10:00 à 11:00 Thierry Coquand Déduction naturelle et modèles Cours 31 Mar 2025 10:00 à 11:00 Thierry Coquand Univers, paradoxes et normalisation Cours 07 Avr 2025 10:00 à 11:00 Thierry Coquand Théorie des types et théorie des ensembles Cours 28 Avr 2025 10:00 à 11:00 Thierry Coquand Le mystère de l’égalité ; la notion de type comme généralisation de la notio… Cours 05 mai 2025 10:00 à 11:00 Thierry Coquand Espaces d’Eilenberg-MacLane et cohomologie Cours 12 mai 2025 10:00 à 11:00 Thierry Coquand Modèles de la théorie des types et du principe d’univalence Cours 19 mai 2025 10:00 à 11:00 Thierry Coquand Solution de la conjecture de Voevodsky Colloque 02 juin 2025 Thierry Coquand Formalisation des mathématiques et types dépendants Suivant 3 cycles Filtres Type d'enseignement Close Type d'enseignement Type d'enseignement Cours (1) Colloque (1) Leçon inaugurale (1) Année académique Close 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 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
Leçon inaugurale 13 Mar 2025 18:00 à 19:00 Thierry Coquand La théorie des types, de Russell aux assistants à la démonstration
Cours 28 Avr 2025 10:00 à 11:00 Thierry Coquand Le mystère de l’égalité ; la notion de type comme généralisation de la notio…
Cours 12 mai 2025 10:00 à 11:00 Thierry Coquand Modèles de la théorie des types et du principe d’univalence
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 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