Share Facebook LinkedIn Bluesky Threads Copy url Events Sort by from the oldest to the newest from the oldest to the newest from the newest to the oldest 909 events Filters Dates Dates From To Next 7 days Next 30 days Professor, chair or research center Professor, chair or research center Search a professor, a chair or a research center Areas Areas (-) Mathematics and computer sciences (909) Physics and chemistry (648) Earth and space sciences (332) Life sciences (905) History and archeology (2088) Letters, arts, language, philosophy (1408) Social sciences (779) Event type Event type (-) Lecture (909) Seminar (656) Opening lecture (22) Guest lecturer (190) Special events (4) Active filters Mathematics and computer sciences Lecture Sort by from the oldest to the newest from the oldest to the newest from the newest to the oldest 29 Jan 2025 Lecture 09:30 - 11:00 AI data generation by transport and denoising (3) Stéphane Mallat 29 Jan 2025 AI data generation by transport and denoising Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 29 Jan 2025 09:30 - 11:00 17 Mar 2025 Lecture 10:00 - 11:00 Type theory, from Russell to de Bruijn Thierry Coquand 17 Mar 2025 Dependent type theory and mathematical formalization Salle 5, Site Marcelin Berthelot 17 Mar 2025 10:00 - 11:00 24 Mar 2025 Lecture 10:00 - 11:00 Natural deduction and models Thierry Coquand 24 Mar 2025 Dependent type theory and mathematical formalization Salle 5, Site Marcelin Berthelot 24 Mar 2025 10:00 - 11:00 31 Mar 2025 Lecture 10:00 - 11:00 Universe, paradoxes and standardization Thierry Coquand 31 Mar 2025 Dependent type theory and mathematical formalization Salle 5, Site Marcelin Berthelot 31 Mar 2025 10:00 - 11:00 7 Apr 2025 Lecture 10:00 - 11:00 Type theory and set theory Thierry Coquand 07 Apr 2025 Dependent type theory and mathematical formalization Salle 5, Site Marcelin Berthelot 07 Apr 2025 10:00 - 11:00 28 Apr 2025 Lecture 10:00 - 11:00 The mystery of equality; the notion of type as a generalization of the notion of set Thierry Coquand 28 Apr 2025 Dependent type theory and mathematical formalization Salle 5, Site Marcelin Berthelot 28 Apr 2025 10:00 - 11:00 5 May 2025 Lecture 10:00 - 11:00 Eilenberg-MacLane spaces and cohomology Thierry Coquand 05 May 2025 Dependent type theory and mathematical formalization Salle 5, Site Marcelin Berthelot 05 May 2025 10:00 - 11:00 12 May 2025 Lecture 10:00 - 11:00 Type theory models and the principle of univalence Thierry Coquand 12 May 2025 Dependent type theory and mathematical formalization Salle 5, Site Marcelin Berthelot 12 May 2025 10:00 - 11:00 19 May 2025 Lecture 10:00 - 11:00 Solution of the Voevodsky conjecture Thierry Coquand 19 May 2025 Dependent type theory and mathematical formalization Salle 5, Site Marcelin Berthelot 19 May 2025 10:00 - 11:00 Pagination First page Previous page … Page 23 Page 24 Page 25 Page 26 Page 27 Page 28 Page 29 Page 30 Current page 31
Lecture 09:30 - 11:00 AI data generation by transport and denoising (3) Stéphane Mallat 29 Jan 2025 AI data generation by transport and denoising Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 29 Jan 2025 09:30 - 11:00
Lecture 10:00 - 11:00 Type theory, from Russell to de Bruijn Thierry Coquand 17 Mar 2025 Dependent type theory and mathematical formalization Salle 5, Site Marcelin Berthelot 17 Mar 2025 10:00 - 11:00
Lecture 10:00 - 11:00 Natural deduction and models Thierry Coquand 24 Mar 2025 Dependent type theory and mathematical formalization Salle 5, Site Marcelin Berthelot 24 Mar 2025 10:00 - 11:00
Lecture 10:00 - 11:00 Universe, paradoxes and standardization Thierry Coquand 31 Mar 2025 Dependent type theory and mathematical formalization Salle 5, Site Marcelin Berthelot 31 Mar 2025 10:00 - 11:00
Lecture 10:00 - 11:00 Type theory and set theory Thierry Coquand 07 Apr 2025 Dependent type theory and mathematical formalization Salle 5, Site Marcelin Berthelot 07 Apr 2025 10:00 - 11:00
Lecture 10:00 - 11:00 The mystery of equality; the notion of type as a generalization of the notion of set Thierry Coquand 28 Apr 2025 Dependent type theory and mathematical formalization Salle 5, Site Marcelin Berthelot 28 Apr 2025 10:00 - 11:00
Lecture 10:00 - 11:00 Eilenberg-MacLane spaces and cohomology Thierry Coquand 05 May 2025 Dependent type theory and mathematical formalization Salle 5, Site Marcelin Berthelot 05 May 2025 10:00 - 11:00
Lecture 10:00 - 11:00 Type theory models and the principle of univalence Thierry Coquand 12 May 2025 Dependent type theory and mathematical formalization Salle 5, Site Marcelin Berthelot 12 May 2025 10:00 - 11:00
Lecture 10:00 - 11:00 Solution of the Voevodsky conjecture Thierry Coquand 19 May 2025 Dependent type theory and mathematical formalization Salle 5, Site Marcelin Berthelot 19 May 2025 10:00 - 11:00