Agenda

Lectures at the Collège de France are free and open to all, subject to availability. The public is advised to arrive at least 30 minutes before the lecture starts. Places cannot be reserved and are allocated on a first-come, first-served basis.

By default, the calendar shows upcoming events. To search for a past event, use the " Dates " filter, or select one of the shortcuts below.

Today
next 7 days
next 30 days
Current academic year
The diary since 1964
179 events

Active filters

Type theory, from Russell to de Bruijn
Thierry Coquand

-
Lecture
Dependent type theory and mathematical formalization
Mireille-Delmas-Marty Amphitheater, Marcelin-Berthelot Site
-

Developing a culture of effort. Mathematics competitions and contests
Pierre-Michel Menger

-
Special events
Re-enchanting maths at school
Marguerite-de-Navarre Amphitheater, Marcelin-Berthelot Site
-

On maximal hypoellipticity and sub-Riemannian geometry (2)
Omar Mohsen

-
Guest lecturer
On Maximal Hypoellipticity and Sub-Riemannian Geometry
Mireille-Delmas-Marty Amphitheater, Marcelin-Berthelot Site
-

Natural deduction and models
Thierry Coquand

-
Lecture
Dependent type theory and mathematical formalization
Mireille-Delmas-Marty Amphitheater, Marcelin-Berthelot Site
-

On maximal hypoellipticity and sub-Riemannian geometry (3)
Omar Mohsen

-
Guest lecturer
On Maximal Hypoellipticity and Sub-Riemannian Geometry
Mireille-Delmas-Marty Amphitheater, Marcelin-Berthelot Site
-

Universe, paradoxes and standardization
Thierry Coquand

-
Lecture
Dependent type theory and mathematical formalization
Mireille-Delmas-Marty Amphitheater, Marcelin-Berthelot Site
-

What changes in the brain when learning mathematics ?
Marie Amalric

-
Special events
Re-enchanting maths at school
Marguerite-de-Navarre Amphitheater, Marcelin-Berthelot Site
-

On maximal hypoellipticity and sub-Riemannian geometry (4)
Omar Mohsen

-
Guest lecturer
On Maximal Hypoellipticity and Sub-Riemannian Geometry
Mireille-Delmas-Marty Amphitheater, Marcelin-Berthelot Site
-

Type theory and set theory
Thierry Coquand

-
Lecture
Dependent type theory and mathematical formalization
Mireille-Delmas-Marty Amphitheater, Marcelin-Berthelot Site
-

Kinetics, Fluids, Waves: PDE Symposium in honor of Claude Bardos' 85
Pierre-Louis Lions

Symposium

The mystery of equality; the notion of type as a generalization of the notion of set
Thierry Coquand

-
Lecture
Dependent type theory and mathematical formalization
Mireille-Delmas-Marty Amphitheater, Marcelin-Berthelot Site
-

Introduction
Stéphane Mallat

-
Special events
AI and mathematics for meteorology and climatology
Marguerite-de-Navarre Amphitheater, Marcelin-Berthelot Site
-

The neural GCM, and other remarks
Michael Brenner

-
Special events
AI and mathematics for meteorology and climatology
Marguerite-de-Navarre Amphitheater, Marcelin-Berthelot Site
-

Type theory models and the principle of univalence
Thierry Coquand

-
Lecture
Dependent type theory and mathematical formalization
Mireille-Delmas-Marty Amphitheater, Marcelin-Berthelot Site
-

Hamiltonian insights and the challenge of unresolved processes in geophysical models
Thomas Dubos

-
Special events
AI and mathematics for meteorology and climatology
Marguerite-de-Navarre Amphitheater, Marcelin-Berthelot Site
-

Reshaping climate modelling with AI
Laure Zanna

-
Special events
AI and mathematics for meteorology and climatology
Marguerite-de-Navarre Amphitheater, Marcelin-Berthelot Site
-

Learning global weather forecasting from data
Remi Lam

-
Special events
AI and mathematics for meteorology and climatology
Marguerite-de-Navarre Amphitheater, Marcelin-Berthelot Site
-

Confronting climate change with generative and self-supervised machine learning
Claire Monteleoni

-
Special events
AI and mathematics for meteorology and climatology
Marguerite-de-Navarre Amphitheater, Marcelin-Berthelot Site
-

Artificial intelligence for geophysical data assimilation
Marc Bocquet

-
Special events
AI and mathematics for meteorology and climatology
Marguerite-de-Navarre Amphitheater, Marcelin-Berthelot Site
-

Eilenberg-MacLane spaces and cohomology
Thierry Coquand

-
Lecture
Dependent type theory and mathematical formalization
Mireille-Delmas-Marty Amphitheater, Marcelin-Berthelot Site
-

Introduction to optimal transport stability and main results
Cyril Letrouit

-
Guest lecturer
Quantitative stability of optimal transport
Mireille-Delmas-Marty Amphitheater, Marcelin-Berthelot Site
-

Modalities and models of type theory
Thierry Coquand

-
Lecture
Dependent type theory and mathematical formalization
Mireille-Delmas-Marty Amphitheater, Marcelin-Berthelot Site
-

The Kantorovich functional
Cyril Letrouit

-
Guest lecturer
Quantitative stability of optimal transport
Mireille-Delmas-Marty Amphitheater, Marcelin-Berthelot Site
-

How to cultivate a taste for mathematics with the Singapore method ?
Monica Neagoy

-
Special events
Re-enchanting maths at school
Maurice-Halbwachs Amphitheater, Marcelin-Berthelot Site
-

Reconciliation of variance inequalities
Cyril Letrouit

-
Guest lecturer
Quantitative stability of optimal transport
Mireille-Delmas-Marty Amphitheater, Marcelin-Berthelot Site
-

Formalizing mathematics and dependent types
Thierry Coquand

Symposium

Generalizations, applications, and measurement transport in machine learning
Cyril Letrouit

-
Guest lecturer
Quantitative stability of optimal transport
Mireille-Delmas-Marty Amphitheater, Marcelin-Berthelot Site
-

Difficulties in Numbers and Difficulties in Letters - Do They Necessarily Appear Together?
Naama Friedmann

-
Special events
Re-enchanting maths at school
Mireille-Delmas-Marty Amphitheater, Marcelin-Berthelot Site
-

What makes a good mathematical problem ? :(Re)reconciling intuition and mathematical sense
Emmanuel Sander

-
Live
Special events
Re-enchanting maths at school
Marguerite-de-Navarre Amphitheater, Marcelin-Berthelot Site
-

High-dimensional analysis and open problems (1)
Pierre-Louis Lions

-
Lecture
High-dimensional analysis and open problems
Mireille-Delmas-Marty Amphitheater, Marcelin-Berthelot Site
-