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

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

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

Quasi-critical reflection of internal waves in a stratified fluid
Anne-Laure Dalibard

-
Seminar
Applied mathematics
Salle 5, Site Marcelin Berthelot
-

Free theorems : parametricity
Xavier Leroy

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

Can you duplicate an object ? Linearity and resource control
Guillaume Munch-Maccagnoni

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

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

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

From the infinitely small to the infinitely large
Rachid Guerraoui

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

Fault detectors
Hugues Fauconnier

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

Forcing, a program transformation like any other ?
Xavier Leroy

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

Step by step : step-indexing techniques
Xavier Leroy

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

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

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

Cross-diffusion systems : weak solutions and bypassing
Ayman Moussa

-
Seminar
Applied mathematics
Salle 5, Site Marcelin Berthelot
-

Happy Sisyphus : infinite types, coinduction demonstrations, and reactive programming
Xavier Leroy

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

Realisability and forcing
Alexandre Miquel

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

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

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

The indulgent consensus
Rachid Guerraoui

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

Accord et Malice
Achour Mostefaoui

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

Viscous fluid control and boundary layers
Frédéric Marbach

-
Seminar
Applied mathematics
Salle 5, Site Marcelin Berthelot
-

Introduction to deep neural networks
Stéphane Mallat

-
Lecture
Deep neural network learning
Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot
-

What is equality From Leibniz to the homotopic theory of types
Xavier Leroy

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

Introducing 7 data challenges 2019 (1)
Stéphane Mallat

-
Seminar
Deep neural network learning
Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot
-

Semantics of probabilistic functional programs in the light of linear logic
Christine Tasson

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

Where are computers headed ?
Gérard Berry

-
Lecture
Where are computers headed ?
Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
-

Dissipative boundary conditions and entropic solutions in perfect plasticity
Jean-François Babadjian

-
Seminar
Applied mathematics
Salle 5, Site Marcelin Berthelot
-

Applications of deep neural networks
Stéphane Mallat

-
Lecture
Deep neural network learning
Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot
-

From construction calculus to the theory of univalent types
Thierry Coquand

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

Introducing 7 data challenges 2019 (2)
Stéphane Mallat

-
Seminar
Deep neural network learning
Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot
-

Conclusion, discussion and answers to the year's questions
Xavier Leroy

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

Neural network approximations and regularity
Stéphane Mallat

-
Lecture
Deep neural network learning
Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot
-

Presentation of the 2018 challenge winners
Stéphane Mallat

-
Seminar
Deep neural network learning
Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot
-

Teaching computer science
Gérard Berry

-
Lecture
Where are computers headed ?
Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
-