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

Active filters

Mathematical Modelling of Multiscale Processes in the Atmosphere
Rupert Klein

-
Seminar
Applied mathematics
Salle 5, Site Marcelin Berthelot
-

Distributed algorithms : in search of lost universality
Rachid Guerraoui

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

Atomicity in a distributed system
Rachid Guerraoui

-
Lecture
Distributed algorithms
Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
-

HJB, MFG and others (1)
Pierre-Louis Lions

-
Lecture
HJB, MFG and others
Salle 5, Site Marcelin Berthelot
-

The power of shared memory
Rachid Guerraoui

-
Lecture
Distributed algorithms
Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
-

Coordination without Agreement
Hagit Attiya

-
Seminar
Distributed algorithms
Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
-

A mathematical vision of Deep Learning
Pierre-Louis Lions

-
Seminar
Applied mathematics
Salle 5, Site Marcelin Berthelot
-

Software, between mind and matter
Xavier Leroy

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

HJB, MFG and others (2)
Pierre-Louis Lions

-
Lecture
HJB, MFG and others
Salle 5, Site Marcelin Berthelot
-

Striated Regularity of 2-D Inhomogeneous Incompressible Navier-Stokes System with Variable Viscosity
Ping Zhang

-
Seminar
Applied mathematics
Salle 5, Site Marcelin Berthelot
-

Paths to discovery : the Curry-Howard correspondence, 1930-1970
Xavier Leroy

-
Lecture
Program = demonstrate ? Curry-Howard correspondence today
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
-

Polymorphism on all levels ! From the F system to calculating constructions
Xavier Leroy

-
Lecture
Program = demonstrate ? Curry-Howard correspondence today
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
-

HJB, MFG and others (3)
Pierre-Louis Lions

-
Lecture
HJB, MFG and others
Salle 5, Site Marcelin Berthelot
-

The impossibility of consensus
Rachid Guerraoui

-
Lecture
Distributed algorithms
Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
-

Distributed Computing and Combinatorial Topology
Petr Kuznetsov

-
Seminar
Distributed algorithms
Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
-

Mini-lecture by Annalisa Buffa (at Jussieu)
Pierre-Louis Lions

-
Seminar
Applied mathematics
Salle du séminaire du Laboratoire J-L Lions, barre 15-16, 3ème étage, salle 09 (15-16-309) ​​​​​​​Sorbonne Université, Campus Jussieu 4 place Jussieu, Paris 5ème
-

Weapons of mass construction : inductive types and inductive predicates
Xavier Leroy

-
Lecture
Program = demonstrate ? Curry-Howard correspondence today
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
-

Dependent types : a whole program !
Pierre-Évariste Dagand

-
Seminar
Program = demonstrate ? Curry-Howard correspondence today
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
-

HJB, MFG and others (4)
Pierre-Louis Lions

-
Lecture
HJB, MFG and others
Salle 5, Site Marcelin Berthelot
-

A priori and a posteriori error estimates localized under minimal regularity
Martin Vohralik

-
Seminar
Applied mathematics
Salle 5, Site Marcelin Berthelot
-

A door must be opened or closed ! Classical logic, continuations, control operators
Xavier Leroy

-
Lecture
Program = demonstrate ? Curry-Howard correspondence today
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
-

Computer-aided mathematics
Assia Mahboubi

-
Seminar
Program = demonstrate ? Curry-Howard correspondence today
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
-

HJB, MFG and others (5)
Pierre-Louis Lions

-
Lecture
HJB, MFG and others
Salle 5, Site Marcelin Berthelot
-

The consensus universality theorem
Rachid Guerraoui

-
Lecture
Distributed algorithms
Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
-

The Consensus Hierarchy
Vassos Hadzilacos

-
Seminar
Distributed algorithms
Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
-

Approximation of probability measures in convex order by projections for the Wasserstein distance
Aurélien Alfonsi

-
Seminar
Applied mathematics
Salle 5, Site Marcelin Berthelot
-

Can we change the world ? Imperative programming, monadic effects, algebraic effects
Xavier Leroy

-
Lecture
Program = demonstrate ? Curry-Howard correspondence today
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
-

Programming with Coq : recursion and dependent filtering
Matthieu Sozeau

-
Seminar
Program = demonstrate ? Curry-Howard correspondence today
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
-

In theory, theory and practice are the same, in practice they are not (according to Yogi Berra)
Gérard Berry

-
Lecture
Where are computers headed ?
Inria Bordeaux
-

Coq : practical aspects of type theory
Yves Bertot et Pierre Castéran

-
Seminar
Where are computers headed ?
Inria Bordeaux
-