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

Modélisation du traitement de l'information biologique
III. Outils de raisonnement sur les systèmes d'interaction moléculaire : La quête de renseignements utiles
Walter Fontana

-
Cours
La biologie de l'information – un dialogue entre l'informatique et la biologie
Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
-

Des expressions et des commandes : la sémantique d'un langage impératif
Xavier Leroy

-
Cours
Sémantiques mécanisées : quand la machine raisonne sur ses langages
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
-

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

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

Easy and Hard in the Origin of Life
Eric Smith

-
Séminaire
La biologie de l'information – un dialogue entre l'informatique et la biologie
Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
-

Modélisation du traitement de l'information biologique
IV. Systèmes d'assemblage combinatoire en signalisation moléculaire : échafaudage combinatoire
Walter Fontana

-
Cours
La biologie de l'information – un dialogue entre l'informatique et la biologie
Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
-

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

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

Modélisation du traitement de l'information biologique
V. Systèmes d'assemblage combinatoire en signalisation moléculaire : mécanique statistique
Walter Fontana

-
Cours
La biologie de l'information – un dialogue entre l'informatique et la biologie
Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
-

Traduttore, traditore : vérification formelle d'un compilateur
Xavier Leroy

-
Cours
Sémantiques mécanisées : quand la machine raisonne sur ses langages
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
-

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

-
Séminaire
Sémantiques mécanisées : quand la machine raisonne sur ses langages
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
-

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

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

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

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

Cells as Cognitive Creatures
Yarden Katz

-
Séminaire
La biologie de l'information – un dialogue entre l'informatique et la biologie
Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
-

L'acquisition de l'information biologique : l'apprentissage dans les systèmes moléculaires ?
Walter Fontana

-
Cours
La biologie de l'information – un dialogue entre l'informatique et la biologie
Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
-

Compiler mieux : optimisations, analyses statiques, et leur vérification
Xavier Leroy

-
Cours
Sémantiques mécanisées : quand la machine raisonne sur ses langages
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
-

L'arithmétique des ordinateurs et sa formalisation
Sylvie Boldo

-
Séminaire
Sémantiques mécanisées : quand la machine raisonne sur ses langages
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
-

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

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

Des logiques pour raisonner sur les programmes
Xavier Leroy

-
Cours
Sémantiques mécanisées : quand la machine raisonne sur ses langages
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
-

Sémantique formelle de JavaScript : les enjeux du passage à l'échelle
Alan Schmitt

-
Séminaire
Sémantiques mécanisées : quand la machine raisonne sur ses langages
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
-

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

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

Remarques sur les premières valeurs et fonctions propres
Pierre-Louis Lions

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

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

-
Séminaire
La biologie de l'information – un dialogue entre l'informatique et la biologie
Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
-

Un art abstrait : l'analyse statique par interprétation abstraite
Xavier Leroy

-
Cours
Sémantiques mécanisées : quand la machine raisonne sur ses langages
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
-

Logique de séparation en Coq : théorie et pratique
Arthur Charguéraud

-
Séminaire
Sémantiques mécanisées : quand la machine raisonne sur ses langages
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
-

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

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

Transport optimal et problème de planification dans un cadre stochastique en espace d’états fini
Charles Bertucci

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

Prediction in Immune Repertoires
Aleksandra Walczak

-
Séminaire
La biologie de l'information – un dialogue entre l'informatique et la biologie
Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
-

Architectures et applications des réseaux de neurones convolutifs
Stéphane Mallat

-
Cours
Modèles multi-échelles et réseaux de neurones convolutifs
Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot
-

Challenges de données 2020 (1)
Stéphane Mallat

-
Séminaire
Modèles multi-échelles et réseaux de neurones convolutifs
Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot
-

Résolution de problèmes de Cauchy par minimisation convexe et généralisations matricielles de jeux à champ moyen
Yann Brenier

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

Imaging Subcellular Dynamics from Molecules to Multicellular Organisms
Tommy Kirchhausen

-
Séminaire
La biologie de l'information – un dialogue entre l'informatique et la biologie
Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot
-