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 16 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 (16) Physics and chemistry (24) Life sciences (37) History and archeology (49) Letters, arts, language, philosophy (29) Social sciences (21) Event type Event type Lecture (8) Seminar (1) Guest lecturer (4) Special events (3) Active filters From 02/17/2025 Mathematics and computer sciences Sort by from the oldest to the newest from the oldest to the newest from the newest to the oldest 12 Mar 2025 Today Seminar 11:15 - 12:30 Stochastic interpolation predictions Éric Van Den Ejden 12 Mar 2025 AI data generation by transport and denoising Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 12 Mar 2025 11:15 - 12:30 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 2 Apr 2025 Special events 17:30 - 19:00 Live What changes in the brain when learning mathematics ? Marie Amalric 02 Apr 2025 Re-enchanting maths at school Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 02 Apr 2025 17:30 - 19: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 14 May 2025 Guest lecturer 10:00 - 12:00 Quantitative stability of optimal transport (1) Cyril Letrouit 14 May 2025 Quantitative stability of optimal transport Salle 5, Site Marcelin Berthelot 14 May 2025 10:00 - 12: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 21 May 2025 Guest lecturer 10:00 - 12:00 Quantitative stability of optimal transport (2) Cyril Letrouit 21 May 2025 Quantitative stability of optimal transport Salle 5, Site Marcelin Berthelot 21 May 2025 10:00 - 12:00 Special events 17:30 - 19:00 Live How to cultivate a taste for mathematics with the Singapore method ? Monica Neagoy 21 May 2025 Re-enchanting maths at school Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 21 May 2025 17:30 - 19:00 28 May 2025 Guest lecturer 10:00 - 12:00 Quantitative stability of optimal transport (3) Cyril Letrouit 28 May 2025 Quantitative stability of optimal transport Salle 5, Site Marcelin Berthelot 28 May 2025 10:00 - 12:00 4 Jun 2025 Guest lecturer 10:00 - 12:00 Quantitative stability of optimal transport (4) Cyril Letrouit 04 Jun 2025 Quantitative stability of optimal transport Salle 5, Site Marcelin Berthelot 04 Jun 2025 10:00 - 12:00 18 Jun 2025 Special events 17:30 - 19:00 Live What makes a good mathematical problem ? :(Re)reconciling intuition and mathematical sense Emmanuel Sander 18 Jun 2025 Re-enchanting maths at school Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 18 Jun 2025 17:30 - 19:00
Seminar 11:15 - 12:30 Stochastic interpolation predictions Éric Van Den Ejden 12 Mar 2025 AI data generation by transport and denoising Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 12 Mar 2025 11:15 - 12:30
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
Special events 17:30 - 19:00 Live What changes in the brain when learning mathematics ? Marie Amalric 02 Apr 2025 Re-enchanting maths at school Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 02 Apr 2025 17:30 - 19: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
Guest lecturer 10:00 - 12:00 Quantitative stability of optimal transport (1) Cyril Letrouit 14 May 2025 Quantitative stability of optimal transport Salle 5, Site Marcelin Berthelot 14 May 2025 10:00 - 12: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
Guest lecturer 10:00 - 12:00 Quantitative stability of optimal transport (2) Cyril Letrouit 21 May 2025 Quantitative stability of optimal transport Salle 5, Site Marcelin Berthelot 21 May 2025 10:00 - 12:00
Special events 17:30 - 19:00 Live How to cultivate a taste for mathematics with the Singapore method ? Monica Neagoy 21 May 2025 Re-enchanting maths at school Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 21 May 2025 17:30 - 19:00
Guest lecturer 10:00 - 12:00 Quantitative stability of optimal transport (3) Cyril Letrouit 28 May 2025 Quantitative stability of optimal transport Salle 5, Site Marcelin Berthelot 28 May 2025 10:00 - 12:00
Guest lecturer 10:00 - 12:00 Quantitative stability of optimal transport (4) Cyril Letrouit 04 Jun 2025 Quantitative stability of optimal transport Salle 5, Site Marcelin Berthelot 04 Jun 2025 10:00 - 12:00
Special events 17:30 - 19:00 Live What makes a good mathematical problem ? :(Re)reconciling intuition and mathematical sense Emmanuel Sander 18 Jun 2025 Re-enchanting maths at school Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 18 Jun 2025 17:30 - 19:00