Thierry Coquand Public lectures Computer Sciences and Digital Technologies Public lectures Chair menu The chair Biography and publications Public lectures Podcasts / RSS News RSS Audio-visual RSS Share Facebook X (ex-Twitter) Linkedin Copy url
The chair Biography and publications Public lectures Upcoming Previous Opening lecture 13 Mar 2025 18:00 - 19:00 Thierry Coquand Type theory, from Russell to demonstration assistants Lecture 17 Mar 2025 10:00 - 11:00 Thierry Coquand Type theory, from Russell to de Bruijn Lecture 24 Mar 2025 10:00 - 11:00 Thierry Coquand Natural deduction and models Lecture 31 Mar 2025 10:00 - 11:00 Thierry Coquand Universe, paradoxes and standardization Lecture 7 Apr 2025 10:00 - 11:00 Thierry Coquand Type theory and set theory Lecture 28 Apr 2025 10:00 - 11:00 Thierry Coquand The mystery of equality; the notion of type as a generalization of the notion of … Lecture 5 May 2025 10:00 - 11:00 Thierry Coquand Eilenberg-MacLane spaces and cohomology Lecture 12 May 2025 10:00 - 11:00 Thierry Coquand Type theory models and the principle of univalence Lecture 19 May 2025 10:00 - 11:00 Thierry Coquand Solution of the Voevodsky conjecture Symposium 02 Jun 2025 Thierry Coquand Formalizing mathematics and dependent types Next 3 series Filters Event type Close Event type Event type Lecture (1) Symposium (1) Opening lecture (1) Academic year Close 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 09:00 - 18:00 Formalizing mathematics and dependent types Thierry Coquand 02 Jun 2025 Formalizing mathematics and dependent types Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 02 Jun 2025 09:00 - 18:00
Opening lecture 13 Mar 2025 18:00 - 19:00 Thierry Coquand Type theory, from Russell to demonstration assistants
Lecture 28 Apr 2025 10:00 - 11:00 Thierry Coquand The mystery of equality; the notion of type as a generalization of the notion of …
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 09:00 - 18:00 Formalizing mathematics and dependent types Thierry Coquand 02 Jun 2025 Formalizing mathematics and dependent types Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 02 Jun 2025 09:00 - 18:00
