Thierry Coquand Public lectures Computer Sciences and Digital Technologies Public lectures Chair menu The chair Biography and publications Public lectures Audios and videos News Podcasts / RSS Apple Podcasts Spotify Flux RSS Podcasts News RSS Audio-visual RSS Share Facebook LinkedIn Bluesky Threads Copy url
The chair Biography and publications Public lectures Audios and videos News Upcoming Previous Symposium 02 Jun 2025 Thierry Coquand Formalizing mathematics and dependent types Next 3 series Filters Event type Event type Lecture (1) Symposium (1) Opening lecture (1) Academic year Academic year 2024 - 2025 (3) 2024 - 2025 Opening lecture 18:00 - 19:00 Type theory, from Russell to demonstration assistants Thierry Coquand 13 Mar 2025 Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 13 Mar 2025 18:00 - 19:00 Lecture Dependent type theory and mathematical formalization Thierry Coquand 17 Mar 2025 → 19 May 2025 17 Mar 2025 → 19 May 2025 Symposium Formalizing mathematics and dependent types Thierry Coquand 02 Jun 2025 02 Jun 2025
Opening lecture 18:00 - 19:00 Type theory, from Russell to demonstration assistants Thierry Coquand 13 Mar 2025 Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 13 Mar 2025 18:00 - 19:00
Lecture Dependent type theory and mathematical formalization Thierry Coquand 17 Mar 2025 → 19 May 2025 17 Mar 2025 → 19 May 2025
