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

Modeling biological information processing
III. Tools for reasoning about molecular interaction systems : The quest for useful information
Walter Fontana

-
Lecture
Information biology - a dialogue between informatics and biology
Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
-

Expressions and commands : the semantics of an imperative language
Xavier Leroy

-
Lecture
Mechanized semantics : when the machine reasons about its languages
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
-

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

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

Easy and Hard in the Origin of Life
Eric Smith

-
Seminar
Information biology - a dialogue between informatics and biology
Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
-

Modeling biological information processing
IV. Combinatorics assembly systems in molecular signalling : combinatorics scaffolding
Walter Fontana

-
Lecture
Information biology - a dialogue between informatics and biology
Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
-

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

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

Modeling biological information processing
V. Combinatorics assembly systems in molecular signalling : statistical mechanics
Walter Fontana

-
Lecture
Information biology - a dialogue between informatics and biology
Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
-

Traduttore, traditore : formal verification of a compiler
Xavier Leroy

-
Lecture
Mechanized semantics : when the machine reasons about its languages
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
-

Lambda, the Ultimate Teaching Assistant (Agda Version)
Philip Wadler

-
Seminar
Mechanized semantics : when the machine reasons about its languages
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
-

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

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

Scaling Limits and Homogenization of Hamilton-Jacobi Equations with Stochastic Forcing
Benjamin Seeger

-
Seminar
Applied mathematics
Salle 5, Site Marcelin Berthelot
-

Cells as Cognitive Creatures
Yarden Katz

-
Seminar
Information biology - a dialogue between informatics and biology
Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
-

The acquisition of biological information : learning in molecular systems ?
Walter Fontana

-
Lecture
Information biology - a dialogue between informatics and biology
Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
-

Compile better : optimizations, static analysis and verification
Xavier Leroy

-
Lecture
Mechanized semantics : when the machine reasons about its languages
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
-

Computer arithmetic and its formalization
Sylvie Boldo

-
Seminar
Mechanized semantics : when the machine reasons about its languages
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
-

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

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

Logics for reasoning about programs
Xavier Leroy

-
Lecture
Mechanized semantics : when the machine reasons about its languages
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
-

Formal semantics for JavaScript : the challenges of scaling up
Alan Schmitt

-
Seminar
Mechanized semantics : when the machine reasons about its languages
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
-

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

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

Notes on first eigenvalues and eigenfunctions
Pierre-Louis Lions

-
Seminar
Applied mathematics
Salle 5, Site Marcelin Berthelot
-

Thermodynamics of Open Chemical Reaction Networks: Theory and applications
Massimiliano Esposito

-
Seminar
Information biology - a dialogue between informatics and biology
Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
-

Abstract art : static analysis through abstract interpretation
Xavier Leroy

-
Lecture
Mechanized semantics : when the machine reasons about its languages
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
-

Coq separation logic : theory and practice
Arthur Charguéraud

-
Seminar
Mechanized semantics : when the machine reasons about its languages
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
-

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

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

Optimal transport and planning problem in a stochastic framework in finite state space
Charles Bertucci

-
Seminar
Applied mathematics
Salle 5, Site Marcelin Berthelot
-

Prediction in Immune Repertoires
Aleksandra Walczak

-
Seminar
Information biology - a dialogue between informatics and biology
Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
-

Architectures and applications of convolutional neural networks
Stéphane Mallat

-
Lecture
Multiscale models and convolutional neural networks
Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot
-

2020 Data Challenges (1)
Stéphane Mallat

-
Seminar
Multiscale models and convolutional neural networks
Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot
-

Solving Cauchy problems by convex minimization and matrix generalizations of mean-field games
Yann Brenier

-
Seminar
Applied mathematics
Salle 5, Site Marcelin Berthelot
-

Imaging Subcellular Dynamics from Molecules to Multicellular Organisms
Tommy Kirchhausen

-
Seminar
Information biology - a dialogue between informatics and biology
Salle 5, Site Marcelin Berthelot
-