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 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
