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

Mathematical Modelling of Multiscale Processes in the Atmosphere
Rupert Klein

-
Séminaire
Mathématiques appliquées
Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot
-

L'algorithmique répartie : à la recherche de l'universalité perdue
Rachid Guerraoui

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

L’atomicité dans un système réparti
Rachid Guerraoui

-
Cours
Algorithmique répartie
Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
-

HJB, MFG et les autres (1)
Pierre-Louis Lions

-
Cours
HJB, MFG et les autres
Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot
-

Le pouvoir de la mémoire partagée
Rachid Guerraoui

-
Cours
Algorithmique répartie
Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
-

Coordination without Agreement
Hagit Attiya

-
Séminaire
Algorithmique répartie
Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
-

Une vision mathématique du « Deep Learning »
Pierre-Louis Lions

-
Séminaire
Mathématiques appliquées
Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot
-

Le logiciel, entre l'esprit et la matière
Xavier Leroy

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

HJB, MFG et les autres (2)
Pierre-Louis Lions

-
Cours
HJB, MFG et les autres
Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot
-

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

-
Séminaire
Mathématiques appliquées
Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot
-

Les chemins d'une découverte : la correspondance de Curry-Howard, 1930-1970
Xavier Leroy

-
Cours
Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
-

Polymorphisme à tous les étages ! Du système F au calcul des constructions
Xavier Leroy

-
Cours
Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
-

HJB, MFG et les autres (3)
Pierre-Louis Lions

-
Cours
HJB, MFG et les autres
Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot
-

L’impossibilité du consensus
Rachid Guerraoui

-
Cours
Algorithmique répartie
Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
-

Distributed Computing and Combinatorial Topology
Petr Kuznetsov

-
Séminaire
Algorithmique répartie
Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
-

Mini-cours d'Annalisa Buffa (à Jussieu)
Pierre-Louis Lions

-
Séminaire
Mathématiques appliquées
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
-

Des armes de construction massive : types inductifs et prédicats inductifs
Xavier Leroy

-
Cours
Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
-

Les types dépendants : tout un programme !
Pierre-Évariste Dagand

-
Séminaire
Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
-

HJB, MFG et les autres (4)
Pierre-Louis Lions

-
Cours
HJB, MFG et les autres
Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot
-

Estimations d’erreur a priori et a posteriori localisées sous régularité minimale
Martin Vohralik

-
Séminaire
Mathématiques appliquées
Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot
-

Il faut qu'une porte soit ouverte ou fermée ! Logique classique, continuations, opérateurs de contrôle
Xavier Leroy

-
Cours
Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
-

Mathématiques assistées par ordinateur
Assia Mahboubi

-
Séminaire
Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
-

HJB, MFG et les autres (5)
Pierre-Louis Lions

-
Cours
HJB, MFG et les autres
Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot
-

Le théorème d’universalité du consensus
Rachid Guerraoui

-
Cours
Algorithmique répartie
Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
-

The Consensus Hierarchy
Vassos Hadzilacos

-
Séminaire
Algorithmique répartie
Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
-

Approximation de mesures de probabilité dans l’ordre convexe par projections pour la distance de Wasserstein
Aurélien Alfonsi

-
Séminaire
Mathématiques appliquées
Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot
-

Peut-on changer le monde ? Programmation impérative, effets monadiques, effets algébriques
Xavier Leroy

-
Cours
Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
-

Programmer avec Coq : récursion et filtrage dépendant
Matthieu Sozeau

-
Séminaire
Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
-

En théorie, la théorie et la pratique c'est pareil, en pratique c'est pas vrai (d'après Yogi Berra)
Gérard Berry

-
Cours
Où va l'informatique ?
Inria Bordeaux
-

Coq : aspects pratiques de la théorie des types
Yves Bertot et Pierre Castéran

-
Séminaire
Où va l'informatique ?
Inria Bordeaux
-