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

Algebra (I) : applications of linear algebra
Timothy Gowers

-
Lecture
Combinatorics tools
-

Algebra (II) : the polynomial method
Timothy Gowers

-
Lecture
Combinatorics tools
-

Orthonormal wavelet bases
Stéphane Mallat

-
Lecture
Sparse representations
Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot
-

How to reason about software The birth of program logic
Xavier Leroy

-
Lecture
Program logic : when the machine reasons about its software
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
-

Image parsimony and compression
Stéphane Mallat

-
Lecture
Sparse representations
Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot
-

Variables and loops : Hoare logic
Xavier Leroy

-
Lecture
Program logic : when the machine reasons about its software
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
-

Program logic put to the test : twists and turns with Frama-C/WP
Loïc Correnson

-
Seminar
Program logic : when the machine reasons about its software
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
-

Pointers and data structures : separation logic
Xavier Leroy

-
Lecture
Program logic : when the machine reasons about its software
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
-

Auto-active proof of programs in SPARK
Yannick Moy

-
Seminar
Program logic : when the machine reasons about its software
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
-

Parallelism with shared memory : the logic of concurrent separation
Xavier Leroy

-
Lecture
Program logic : when the machine reasons about its software
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
-

VeriFast: Semi-Automated Modular Verification of Concurrent C and Java Programs Using Separation Logic
Bart Jacobs

-
Seminar
Program logic : when the machine reasons about its software
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
-

Some extensions of the separation logic
Xavier Leroy

-
Lecture
Program logic : when the machine reasons about its software
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
-

Reasoning about time in separation logic
François Pottier

-
Seminar
Program logic : when the machine reasons about its software
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
-

Quantum algorithms : when quantum physics challenges the Church-Turing thesis
Frédéric Magniez

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

Fibrous with additional structure on a curve
Bảo Châu Ngô

-
Lecture
Duality of Hitchin fibrations and endoscopy
-

Quantum information, first computational uses : superposition, measurement, transformation, non-cloning, quantum key distribution, teleportation
Frédéric Magniez

-
Lecture
Quantum algorithms
Salle 5, Site Marcelin Berthelot
-

Quantum communication networks
Eleni Diamanti

-
Seminar
Quantum algorithms
Salle 5, Site Marcelin Berthelot
-

Weakly coherent shared memory logic
Xavier Leroy

-
Lecture
Program logic : when the machine reasons about its software
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
-

Custom protocols in separation logic : ghost resources and invariants in Iris logic
Jacques-Henri Jourdan

-
Seminar
Program logic : when the machine reasons about its software
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
-

Moduli space of fibers and the affine Grassmannian
Bảo Châu Ngô

-
Lecture
Duality of Hitchin fibrations and endoscopy
-

Quantum cryptography and communication : Bell's inequalities, coin tosses, pawning, certification
Frédéric Magniez

-
Lecture
Quantum algorithms
Salle 5, Site Marcelin Berthelot
-

Certifying random number generation with quantum technology
Thomas Vidick

-
Seminar
Quantum algorithms
-

Logics for functional and higher-order languages
Xavier Leroy

-
Lecture
Program logic : when the machine reasons about its software
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
-

Gillian: a Multi-language Platform for Compositional Symbolic Analysis
Philippa Gardner

-
Seminar
Program logic : when the machine reasons about its software
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
-

Hitchin fibration
Bảo Châu Ngô

-
Lecture
Duality of Hitchin fibrations and endoscopy
-

Quantum circuits, first algorithms : universal gates, Deutsch-Jozsa and Bernstein-Vazirani algorithms, superiority of quantum algorithms
Frédéric Magniez

-
Lecture
Quantum algorithms
Salle 5, Site Marcelin Berthelot
-

Graphical languages for programming and reasoning in quantum computing
Simon Perdrix

-
Seminar
Quantum algorithms
-

Affine Springer fibers
Bảo Châu Ngô

-
Lecture
Duality of Hitchin fibrations and endoscopy
-

Quantum Fourier Transform : implementation, phase estimation, Simon and Shor algorithms (period search and factorization) and recent generalizations
Frédéric Magniez

-
Lecture
Quantum algorithms
Salle 5, Site Marcelin Berthelot
-

The hidden subgroup problem
Miklos Santha

-
Seminar
Quantum algorithms
-