Agenda

Les enseignements du Collège de France sont ouverts gratuitement et sans condition d'inscription, dans la limite des places disponibles. Il est recommandé aux auditeurs de se présenter au moins 30 minutes avant l’heure de début de l’enseignement. Les places ne sont pas réservables et leur attribution se fait uniquement par ordre d’arrivée.

L'agenda présente par défaut les événements à venir. Pour rechercher un événement passé, utiliser le filtre « Dates », ou sélectionner l'un des raccourcis ci-dessous.

Aujourd'hui
Semaine prochaine
Mois prochain
Année académique en cours
L'agenda depuis 1964
2009 événements

Filtres actifs

Algèbre (I) : applications de l'algèbre linéaire
Timothy Gowers

-
Cours
Outils de la combinatoire
-

Algèbre (II) : la méthode des polynômes
Timothy Gowers

-
Cours
Outils de la combinatoire
-

Bases orthonormales d'ondelettes
Stéphane Mallat

-
Cours
Représentations parcimonieuses
Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot
-

Comment raisonner sur un logiciel ? La naissance des logiques de programmes
Xavier Leroy

-
Cours
Logiques de programmes : quand la machine raisonne sur ses logiciels
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
-

Parcimonie et compression d'images
Stéphane Mallat

-
Cours
Représentations parcimonieuses
Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot
-

Variables et boucles : la logique de Hoare
Xavier Leroy

-
Cours
Logiques de programmes : quand la machine raisonne sur ses logiciels
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
-

Les logiques de programmes à l'épreuve du réel : tours et détours avec Frama-C/WP
Loïc Correnson

-
Séminaire
Logiques de programmes : quand la machine raisonne sur ses logiciels
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
-

Pointeurs et structures de données : la logique de séparation
Xavier Leroy

-
Cours
Logiques de programmes : quand la machine raisonne sur ses logiciels
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
-

Preuve auto-active de programmes en SPARK
Yannick Moy

-
Séminaire
Logiques de programmes : quand la machine raisonne sur ses logiciels
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
-

Parallélisme à mémoire partagée : la logique de séparation concurrente
Xavier Leroy

-
Cours
Logiques de programmes : quand la machine raisonne sur ses logiciels
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
-

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

-
Séminaire
Logiques de programmes : quand la machine raisonne sur ses logiciels
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
-

Quelques extensions de la logique de séparation
Xavier Leroy

-
Cours
Logiques de programmes : quand la machine raisonne sur ses logiciels
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
-

Raisonner à propos du temps en logique de séparation
François Pottier

-
Séminaire
Logiques de programmes : quand la machine raisonne sur ses logiciels
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
-

Algorithmes quantiques : quand la physique quantique défie la thèse de Church-Turing
Frédéric Magniez

-
Leçon inaugurale
Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot
-

Fibrés avec structure additionnelle sur une courbe
Bảo Châu Ngô

-
Cours
Dualité des fibrations de Hitchin et endoscopie
-

Information quantique, premières utilisations calculatoires : superposition, mesure, transformation, non-clonage, distribution quantique de clés, téléportation
Frédéric Magniez

-
Cours
Algorithmes quantiques
Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot
-

Réseaux de communication quantique
Eleni Diamanti

-
Séminaire
Algorithmes quantiques
Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot
-

Logiques pour la mémoire partagée faiblement cohérente
Xavier Leroy

-
Cours
Logiques de programmes : quand la machine raisonne sur ses logiciels
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
-

Protocoles personnalisés en logique de séparation : ressources fantômes et invariants dans la logique Iris
Jacques-Henri Jourdan

-
Séminaire
Logiques de programmes : quand la machine raisonne sur ses logiciels
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
-

Espace de module des fibrés et la Grassmannienne affine
Bảo Châu Ngô

-
Cours
Dualité des fibrations de Hitchin et endoscopie
-

Cryptographie et communication quantiques : inégalités de Bell, tirage à pile ou face, mise en gage, certification
Frédéric Magniez

-
Cours
Algorithmes quantiques
Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot
-

Certifier la génération de nombres aléatoires avec le quantique
Thomas Vidick

-
Séminaire
Algorithmes quantiques
-

Logiques pour les langages fonctionnels et l'ordre supérieur
Xavier Leroy

-
Cours
Logiques de programmes : quand la machine raisonne sur ses logiciels
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
-

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

-
Séminaire
Logiques de programmes : quand la machine raisonne sur ses logiciels
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
-

Fibration de Hitchin
Bảo Châu Ngô

-
Cours
Dualité des fibrations de Hitchin et endoscopie
-

Circuits quantiques, premiers algorithmes : portes universelles, algorithmes de Deutsch-Jozsa et Bernstein-Vazirani, supériorité des algorithmes quantiques
Frédéric Magniez

-
Cours
Algorithmes quantiques
Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot
-

Langages graphiques pour programmer et raisonner en informatique quantique
Simon Perdrix

-
Séminaire
Algorithmes quantiques
-

Fibres de Springer affines
Bảo Châu Ngô

-
Cours
Dualité des fibrations de Hitchin et endoscopie
-

Transformée de Fourier quantique : réalisation, estimation de phase, algorithmes de Simon et de Shor (recherche de période et factorisation) et généralisations récentes
Frédéric Magniez

-
Cours
Algorithmes quantiques
Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot
-

Le problème du sous-groupe caché
Miklos Santha

-
Séminaire
Algorithmes quantiques
-