Partager Facebook LinkedIn Bluesky Threads Copier le lien Agenda Trier par du plus ancien au plus récent du plus ancien au plus récent du plus récent au plus ancien 3316 événements Filtres Dates Dates Du Au 7 prochains jours 30 prochains jours Professeur, chaire, laboratoire Professeur, chaire, laboratoire Rechercher un professeur, une chaire ou un laboratoire Domaines Domaines (-) Mathématiques et sciences informatiques (1810) (-) Physique et chimie (1506) Sciences de l'Univers (542) Sciences de la vie (1568) Histoire et archéologie (3857) Lettres, arts, langage, philosophie (2444) Sciences sociales (1401) Type d'enseignement Type d'enseignement Cours (1582) Séminaire (1287) Leçon inaugurale (61) Leçon de clôture (2) Conférencier invité (335) Grand événement (49) Filtres actifs Mathématiques et sciences informatiques Physique et chimie Trier par du plus ancien au plus récent du plus ancien au plus récent du plus récent au plus ancien 28 nov 2019 Cours 09:30 - 11:00 Des expressions et des commandes : la sémantique d'un langage impératif Xavier Leroy 28 nov 2019 Sémantiques mécanisées : quand la machine raisonne sur ses langages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 28 nov 2019 09:30 - 11:00 29 nov 2019 Cours 09:00 - 11:00 HJB, MFG et les autres (suite) (4) Pierre-Louis Lions 29 nov 2019 HJB, MFG et les autres (suite) Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 29 nov 2019 09:00 - 11:00 Séminaire 14:00 - 15:00 Easy and Hard in the Origin of Life Eric Smith 29 nov 2019 La biologie de l'information – un dialogue entre l'informatique et la biologie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 29 nov 2019 14:00 - 15:00 03 déc 2019 Cours 14:00 - 15:30 Modélisation du traitement de l'information biologique IV. Systèmes d'assemblage combinatoire en signalisation moléculaire : échafaudage combinatoire Walter Fontana 03 déc 2019 La biologie de l'information – un dialogue entre l'informatique et la biologie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 03 déc 2019 14:00 - 15:30 06 déc 2019 Cours 09:00 - 11:00 HJB, MFG et les autres (suite) (5) Pierre-Louis Lions 06 déc 2019 HJB, MFG et les autres (suite) Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 06 déc 2019 09:00 - 11:00 10 déc 2019 Cours 14:00 - 15:30 Modélisation du traitement de l'information biologique V. Systèmes d'assemblage combinatoire en signalisation moléculaire : mécanique statistique Walter Fontana 10 déc 2019 La biologie de l'information – un dialogue entre l'informatique et la biologie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 10 déc 2019 14:00 - 15:30 12 déc 2019 Cours 09:30 - 11:00 Traduttore, traditore : vérification formelle d'un compilateur Xavier Leroy 12 déc 2019 Sémantiques mécanisées : quand la machine raisonne sur ses langages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 12 déc 2019 09:30 - 11:00 Séminaire 11:15 - 12:15 Lambda, the Ultimate Teaching Assistant (Agda Version) Philip Wadler 12 déc 2019 Sémantiques mécanisées : quand la machine raisonne sur ses langages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 12 déc 2019 11:15 - 12:15 13 déc 2019 Cours 09:00 - 11:00 HJB, MFG et les autres (suite) (6) Pierre-Louis Lions 13 déc 2019 HJB, MFG et les autres (suite) Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 13 déc 2019 09:00 - 11:00 Séminaire 11:15 - 12:45 Scaling Limits and Homogenization of Hamilton-Jacobi Equations with Stochastic Forcing Benjamin Seeger 13 déc 2019 Mathématiques appliquées Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 13 déc 2019 11:15 - 12:45 Séminaire 14:00 - 15:00 Cells as Cognitive Creatures Yarden Katz 13 déc 2019 La biologie de l'information – un dialogue entre l'informatique et la biologie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 13 déc 2019 14:00 - 15:00 16 déc 2019 Conférencier invité 15:00 - 16:00 Birth, Death, and Flight: The Hydrodynamics of Malthusian Flocks John Toner 16 déc 2019 Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 16 déc 2019 15:00 - 16:00 17 déc 2019 Cours 14:00 - 15:30 L'acquisition de l'information biologique : l'apprentissage dans les systèmes moléculaires ? Walter Fontana 17 déc 2019 La biologie de l'information – un dialogue entre l'informatique et la biologie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 17 déc 2019 14:00 - 15:30 19 déc 2019 Cours 09:30 - 11:00 Compiler mieux : optimisations, analyses statiques, et leur vérification Xavier Leroy 19 déc 2019 Sémantiques mécanisées : quand la machine raisonne sur ses langages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 19 déc 2019 09:30 - 11:00 Séminaire 11:15 - 12:15 L'arithmétique des ordinateurs et sa formalisation Sylvie Boldo 19 déc 2019 Sémantiques mécanisées : quand la machine raisonne sur ses langages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 19 déc 2019 11:15 - 12:15 20 déc 2019 Cours 09:00 - 11:00 HJB, MFG et les autres (suite) (7) Pierre-Louis Lions 20 déc 2019 HJB, MFG et les autres (suite) Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 20 déc 2019 09:00 - 11:00 09 jan 2020 Cours 09:30 - 11:00 Des logiques pour raisonner sur les programmes Xavier Leroy 09 jan 2020 Sémantiques mécanisées : quand la machine raisonne sur ses langages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 09 jan 2020 09:30 - 11:00 Séminaire 11:15 - 12:15 Sémantique formelle de JavaScript : les enjeux du passage à l'échelle Alan Schmitt 09 jan 2020 Sémantiques mécanisées : quand la machine raisonne sur ses langages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 09 jan 2020 11:15 - 12:15 10 jan 2020 Cours 09:00 - 11:00 HJB, MFG et les autres (suite) (8) Pierre-Louis Lions 10 jan 2020 HJB, MFG et les autres (suite) Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 10 jan 2020 09:00 - 11:00 Séminaire 11:15 - 12:45 Remarques sur les premières valeurs et fonctions propres Pierre-Louis Lions 10 jan 2020 Mathématiques appliquées Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 10 jan 2020 11:15 - 12:45 Séminaire 14:00 - 15:00 Thermodynamics of Open Chemical Reaction Networks: Theory and applications Massimiliano Esposito 10 jan 2020 La biologie de l'information – un dialogue entre l'informatique et la biologie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 10 jan 2020 14:00 - 15:00 13 jan 2020 Cours 09:30 - 11:00 Problèmes de réaction-diffusion : de la dynamique des fronts aux généalogies (1) Bernard Derrida 13 jan 2020 Problèmes de réaction-diffusion : de la dynamique des fronts aux généalogies Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 13 jan 2020 09:30 - 11:00 Séminaire 11:15 - 12:30 Formation de motifs dans des systèmes de type réaction-diffusion Michel Droz 13 jan 2020 Problèmes de réaction-diffusion : de la dynamique des fronts aux généalogies Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 13 jan 2020 11:15 - 12:30 16 jan 2020 Cours 09:30 - 11:00 Un art abstrait : l'analyse statique par interprétation abstraite Xavier Leroy 16 jan 2020 Sémantiques mécanisées : quand la machine raisonne sur ses langages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 16 jan 2020 09:30 - 11:00 Séminaire 11:15 - 12:15 Logique de séparation en Coq : théorie et pratique Arthur Charguéraud 16 jan 2020 Sémantiques mécanisées : quand la machine raisonne sur ses langages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 16 jan 2020 11:15 - 12:15 17 jan 2020 Cours 09:00 - 11:00 HJB, MFG et les autres (suite) (9) Pierre-Louis Lions 17 jan 2020 HJB, MFG et les autres (suite) Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 17 jan 2020 09:00 - 11:00 Séminaire 11:15 - 12:45 Transport optimal et problème de planification dans un cadre stochastique en espace d’états fini Charles Bertucci 17 jan 2020 Mathématiques appliquées Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 17 jan 2020 11:15 - 12:45 Séminaire 14:00 - 15:00 Prediction in Immune Repertoires Aleksandra Walczak 17 jan 2020 La biologie de l'information – un dialogue entre l'informatique et la biologie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 17 jan 2020 14:00 - 15:00 20 jan 2020 Cours 09:30 - 11:00 Problèmes de réaction-diffusion : de la dynamique des fronts aux généalogies (2) Bernard Derrida 20 jan 2020 Problèmes de réaction-diffusion : de la dynamique des fronts aux généalogies Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 20 jan 2020 09:30 - 11:00 Séminaire 11:15 - 12:30 Propagation de fronts dirigés par une ligne de diffusion rapide Jean-Michel Roquejoffre 20 jan 2020 Problèmes de réaction-diffusion : de la dynamique des fronts aux généalogies Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 20 jan 2020 11:15 - 12:30 Pagination Première page Page précédente … Page 71 Page 72 Page 73 Page 74 Page courante 75 Page 76 Page 77 Page 78 Page 79 … Page suivante Dernière page
Cours 09:30 - 11:00 Des expressions et des commandes : la sémantique d'un langage impératif Xavier Leroy 28 nov 2019 Sémantiques mécanisées : quand la machine raisonne sur ses langages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 28 nov 2019 09:30 - 11:00
Cours 09:00 - 11:00 HJB, MFG et les autres (suite) (4) Pierre-Louis Lions 29 nov 2019 HJB, MFG et les autres (suite) Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 29 nov 2019 09:00 - 11:00
Séminaire 14:00 - 15:00 Easy and Hard in the Origin of Life Eric Smith 29 nov 2019 La biologie de l'information – un dialogue entre l'informatique et la biologie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 29 nov 2019 14:00 - 15:00
Cours 14:00 - 15:30 Modélisation du traitement de l'information biologique IV. Systèmes d'assemblage combinatoire en signalisation moléculaire : échafaudage combinatoire Walter Fontana 03 déc 2019 La biologie de l'information – un dialogue entre l'informatique et la biologie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 03 déc 2019 14:00 - 15:30
Cours 09:00 - 11:00 HJB, MFG et les autres (suite) (5) Pierre-Louis Lions 06 déc 2019 HJB, MFG et les autres (suite) Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 06 déc 2019 09:00 - 11:00
Cours 14:00 - 15:30 Modélisation du traitement de l'information biologique V. Systèmes d'assemblage combinatoire en signalisation moléculaire : mécanique statistique Walter Fontana 10 déc 2019 La biologie de l'information – un dialogue entre l'informatique et la biologie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 10 déc 2019 14:00 - 15:30
Cours 09:30 - 11:00 Traduttore, traditore : vérification formelle d'un compilateur Xavier Leroy 12 déc 2019 Sémantiques mécanisées : quand la machine raisonne sur ses langages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 12 déc 2019 09:30 - 11:00
Séminaire 11:15 - 12:15 Lambda, the Ultimate Teaching Assistant (Agda Version) Philip Wadler 12 déc 2019 Sémantiques mécanisées : quand la machine raisonne sur ses langages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 12 déc 2019 11:15 - 12:15
Cours 09:00 - 11:00 HJB, MFG et les autres (suite) (6) Pierre-Louis Lions 13 déc 2019 HJB, MFG et les autres (suite) Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 13 déc 2019 09:00 - 11:00
Séminaire 11:15 - 12:45 Scaling Limits and Homogenization of Hamilton-Jacobi Equations with Stochastic Forcing Benjamin Seeger 13 déc 2019 Mathématiques appliquées Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 13 déc 2019 11:15 - 12:45
Séminaire 14:00 - 15:00 Cells as Cognitive Creatures Yarden Katz 13 déc 2019 La biologie de l'information – un dialogue entre l'informatique et la biologie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 13 déc 2019 14:00 - 15:00
Conférencier invité 15:00 - 16:00 Birth, Death, and Flight: The Hydrodynamics of Malthusian Flocks John Toner 16 déc 2019 Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 16 déc 2019 15:00 - 16:00
Cours 14:00 - 15:30 L'acquisition de l'information biologique : l'apprentissage dans les systèmes moléculaires ? Walter Fontana 17 déc 2019 La biologie de l'information – un dialogue entre l'informatique et la biologie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 17 déc 2019 14:00 - 15:30
Cours 09:30 - 11:00 Compiler mieux : optimisations, analyses statiques, et leur vérification Xavier Leroy 19 déc 2019 Sémantiques mécanisées : quand la machine raisonne sur ses langages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 19 déc 2019 09:30 - 11:00
Séminaire 11:15 - 12:15 L'arithmétique des ordinateurs et sa formalisation Sylvie Boldo 19 déc 2019 Sémantiques mécanisées : quand la machine raisonne sur ses langages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 19 déc 2019 11:15 - 12:15
Cours 09:00 - 11:00 HJB, MFG et les autres (suite) (7) Pierre-Louis Lions 20 déc 2019 HJB, MFG et les autres (suite) Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 20 déc 2019 09:00 - 11:00
Cours 09:30 - 11:00 Des logiques pour raisonner sur les programmes Xavier Leroy 09 jan 2020 Sémantiques mécanisées : quand la machine raisonne sur ses langages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 09 jan 2020 09:30 - 11:00
Séminaire 11:15 - 12:15 Sémantique formelle de JavaScript : les enjeux du passage à l'échelle Alan Schmitt 09 jan 2020 Sémantiques mécanisées : quand la machine raisonne sur ses langages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 09 jan 2020 11:15 - 12:15
Cours 09:00 - 11:00 HJB, MFG et les autres (suite) (8) Pierre-Louis Lions 10 jan 2020 HJB, MFG et les autres (suite) Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 10 jan 2020 09:00 - 11:00
Séminaire 11:15 - 12:45 Remarques sur les premières valeurs et fonctions propres Pierre-Louis Lions 10 jan 2020 Mathématiques appliquées Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 10 jan 2020 11:15 - 12:45
Séminaire 14:00 - 15:00 Thermodynamics of Open Chemical Reaction Networks: Theory and applications Massimiliano Esposito 10 jan 2020 La biologie de l'information – un dialogue entre l'informatique et la biologie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 10 jan 2020 14:00 - 15:00
Cours 09:30 - 11:00 Problèmes de réaction-diffusion : de la dynamique des fronts aux généalogies (1) Bernard Derrida 13 jan 2020 Problèmes de réaction-diffusion : de la dynamique des fronts aux généalogies Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 13 jan 2020 09:30 - 11:00
Séminaire 11:15 - 12:30 Formation de motifs dans des systèmes de type réaction-diffusion Michel Droz 13 jan 2020 Problèmes de réaction-diffusion : de la dynamique des fronts aux généalogies Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 13 jan 2020 11:15 - 12:30
Cours 09:30 - 11:00 Un art abstrait : l'analyse statique par interprétation abstraite Xavier Leroy 16 jan 2020 Sémantiques mécanisées : quand la machine raisonne sur ses langages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 16 jan 2020 09:30 - 11:00
Séminaire 11:15 - 12:15 Logique de séparation en Coq : théorie et pratique Arthur Charguéraud 16 jan 2020 Sémantiques mécanisées : quand la machine raisonne sur ses langages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 16 jan 2020 11:15 - 12:15
Cours 09:00 - 11:00 HJB, MFG et les autres (suite) (9) Pierre-Louis Lions 17 jan 2020 HJB, MFG et les autres (suite) Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 17 jan 2020 09:00 - 11:00
Séminaire 11:15 - 12:45 Transport optimal et problème de planification dans un cadre stochastique en espace d’états fini Charles Bertucci 17 jan 2020 Mathématiques appliquées Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 17 jan 2020 11:15 - 12:45
Séminaire 14:00 - 15:00 Prediction in Immune Repertoires Aleksandra Walczak 17 jan 2020 La biologie de l'information – un dialogue entre l'informatique et la biologie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 17 jan 2020 14:00 - 15:00
Cours 09:30 - 11:00 Problèmes de réaction-diffusion : de la dynamique des fronts aux généalogies (2) Bernard Derrida 20 jan 2020 Problèmes de réaction-diffusion : de la dynamique des fronts aux généalogies Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 20 jan 2020 09:30 - 11:00
Séminaire 11:15 - 12:30 Propagation de fronts dirigés par une ligne de diffusion rapide Jean-Michel Roquejoffre 20 jan 2020 Problèmes de réaction-diffusion : de la dynamique des fronts aux généalogies Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 20 jan 2020 11:15 - 12:30