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

Active filters

Data generation with streams and broadcasts
Éric Van Den Ejden

-
Seminar
AI data generation by transport and denoising
Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot
-

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

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

Type theory, from Russell to demonstration assistants
Thierry Coquand

-
Opening lecture
Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot
-

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
-