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

Active filters

Type theory, from Russell to de Bruijn
Thierry Coquand

-
Lecture
Dependent type theory and mathematical formalization
Salle 5, Site Marcelin Berthelot
-

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

-
Special events
Re-enchanting maths at school
Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot
-

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

-
Guest lecturer
On Maximal Hypoellipticity and Sub-Riemannian Geometry
Salle 5, Site Marcelin Berthelot
-

Natural deduction and models
Thierry Coquand

-
Lecture
Dependent type theory and mathematical formalization
Salle 5, Site Marcelin Berthelot
-

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

-
Guest lecturer
On Maximal Hypoellipticity and Sub-Riemannian Geometry
Salle 5, Site Marcelin Berthelot
-

Universe, paradoxes and standardization
Thierry Coquand

-
Lecture
Dependent type theory and mathematical formalization
Salle 5, Site Marcelin Berthelot
-

What changes in the brain when learning mathematics ?
Marie Amalric

-
Special events
Re-enchanting maths at school
Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot
-

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

-
Guest lecturer
On Maximal Hypoellipticity and Sub-Riemannian Geometry
Salle 5, Site Marcelin Berthelot
-

Type theory and set theory
Thierry Coquand

-
Lecture
Dependent type theory and mathematical formalization
Salle 5, Site Marcelin Berthelot
-

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
Salle 5, Site Marcelin Berthelot
-

Introduction
Stéphane Mallat

-
Special events
AI and mathematics for meteorology and climatology
Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot
-

The neural GCM, and other remarks
Michael Brenner

-
Special events
AI and mathematics for meteorology and climatology
Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot
-

Type theory models and the principle of univalence
Thierry Coquand

-
Lecture
Dependent type theory and mathematical formalization
Salle 5, Site Marcelin Berthelot
-

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

-
Special events
AI and mathematics for meteorology and climatology
Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot
-

Reshaping climate modelling with AI
Laure Zanna

-
Special events
AI and mathematics for meteorology and climatology
Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot
-

Learning global weather forecasting from data
Remi Lam

-
Special events
AI and mathematics for meteorology and climatology
Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot
-

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

-
Special events
AI and mathematics for meteorology and climatology
Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot
-

Artificial intelligence for geophysical data assimilation
Marc Bocquet

-
Special events
AI and mathematics for meteorology and climatology
Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot
-

Eilenberg-MacLane spaces and cohomology
Thierry Coquand

-
Lecture
Dependent type theory and mathematical formalization
Salle 5, Site Marcelin Berthelot
-

Introduction to optimal transport stability and main results
Cyril Letrouit

-
Guest lecturer
Quantitative stability of optimal transport
Salle 5, Site Marcelin Berthelot
-

Modalities and models of type theory
Thierry Coquand

-
Lecture
Dependent type theory and mathematical formalization
Salle 5, Site Marcelin Berthelot
-

The Kantorovich functional
Cyril Letrouit

-
Guest lecturer
Quantitative stability of optimal transport
Salle 5, Site Marcelin Berthelot
-

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

-
Special events
Re-enchanting maths at school
Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
-

Reconciliation of variance inequalities
Cyril Letrouit

-
Guest lecturer
Quantitative stability of optimal transport
Salle 5, Site Marcelin Berthelot
-

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
Salle 5, Site Marcelin Berthelot
-

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

-
Special events
Re-enchanting maths at school
Salle 5, Site Marcelin Berthelot
-

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

-
Live
Special events
Re-enchanting maths at school
Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot
-

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

-
Lecture
High-dimensional analysis and open problems
Salle 5, Site Marcelin Berthelot
-