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

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

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

Réflexion quasi-critique d’ondes internes dans un fluide stratifié
Anne-Laure Dalibard

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

Des théorèmes gratuits : la paramétricité
Xavier Leroy

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

Peut-on dupliquer un objet ? Linéarité et contrôle des ressources
Guillaume Munch-Maccagnoni

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

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

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

De l'infiniment petit à l'infiniment grand
Rachid Guerraoui

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

Détecteurs de défaillances
Hugues Fauconnier

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

Le forcing, une transformation de programme comme une autre ?
Xavier Leroy

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

À pas comptés : les techniques de step-indexing
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 (8)
Pierre-Louis Lions

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

Systèmes à diffusion croisée : solutions faibles et dérivation
Ayman Moussa

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

Sisyphe heureux : types infinis, démonstrations par coinduction, et programmation réactive
Xavier Leroy

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

Réalisabilité et forcing
Alexandre Miquel

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

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

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

Le consensus indulgent
Rachid Guerraoui

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

Accord et Malice
Achour Mostefaoui

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

Contrôle de fluides visqueux et couches limites
Frédéric Marbach

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

Introduction aux réseaux de neurones profonds
Stéphane Mallat

-
Cours
L'apprentissage par réseaux de neurones profonds
Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot
-

Qu'est-ce que l'égalité ? De Leibniz à la théorie homotopique des types
Xavier Leroy

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

Présentation de 7 challenges de données 2019 (1)
Stéphane Mallat

-
Séminaire
L'apprentissage par réseaux de neurones profonds
Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot
-

Sémantique des programmes fonctionnels probabilistes, à la lumière de la logique linéaire
Christine Tasson

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

Où va l'informatique ?
Gérard Berry

-
Cours
Où va l'informatique ?
Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
-

Conditions aux limites dissipatives et solutions entropiques en plasticité parfaite
Jean-François Babadjian

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

Applications des réseaux de neurones profonds
Stéphane Mallat

-
Cours
L'apprentissage par réseaux de neurones profonds
Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot
-

Du calcul des constructions à la théorie des types univalents
Thierry Coquand

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

Présentation de 7 challenges de données 2019 (2)
Stéphane Mallat

-
Séminaire
L'apprentissage par réseaux de neurones profonds
Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot
-

Conclusion, discussions et réponses aux questions de l'année
Xavier Leroy

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

Approximations par réseaux de neurones et régularité
Stéphane Mallat

-
Cours
L'apprentissage par réseaux de neurones profonds
Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot
-

Présentation des gagnants des challenges 2018
Stéphane Mallat

-
Séminaire
L'apprentissage par réseaux de neurones profonds
Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot
-

Enseigner l'informatique
Gérard Berry

-
Cours
Où va l'informatique ?
Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
-