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 1810 é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 (914) Séminaire (661) Leçon inaugurale (31) Conférencier invité (198) Grand événement (6) Filtres actifs Mathématiques et sciences informatiques Trier par du plus ancien au plus récent du plus ancien au plus récent du plus récent au plus ancien 08 nov 2019 Séminaire 14:00 - 15:00 The Evolution of Cellular Individuality Eric Deeds 08 nov 2019 La biologie de l'information – un dialogue entre l'informatique et la biologie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 08 nov 2019 14:00 - 15:00 12 nov 2019 Cours 14:00 - 15:30 Modélisation du traitement de l'information biologique I. Outils de raisonnement sur les systèmes d'interaction moléculaire : Introduction Walter Fontana 12 nov 2019 La biologie de l'information – un dialogue entre l'informatique et la biologie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 12 nov 2019 14:00 - 15:30 15 nov 2019 Cours 09:00 - 11:00 HJB, MFG et les autres (suite) (2) Pierre-Louis Lions 15 nov 2019 HJB, MFG et les autres (suite) Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 15 nov 2019 09:00 - 11:00 Séminaire 11:15 - 12:45 Dynamique d'un gaz de sphères dures : analyse des corrélations Laure Saint-Raymond 15 nov 2019 Mathématiques appliquées Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 15 nov 2019 11:15 - 12:45 Séminaire 14:00 - 15:00 Graph Rewriting and Chemistry Daniel Merkle 15 nov 2019 La biologie de l'information – un dialogue entre l'informatique et la biologie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 15 nov 2019 14:00 - 15:00 19 nov 2019 Cours 14:00 - 15:30 Modélisation du traitement de l'information biologique II. Outils de raisonnement sur les systèmes d'interaction moléculaire : cas d'utilisation Walter Fontana 19 nov 2019 La biologie de l'information – un dialogue entre l'informatique et la biologie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 19 nov 2019 14:00 - 15:30 22 nov 2019 Cours 09:00 - 11:00 HJB, MFG et les autres (suite) (3) Pierre-Louis Lions 22 nov 2019 HJB, MFG et les autres (suite) Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 22 nov 2019 09:00 - 11:00 Séminaire 11:15 - 12:45 Dynamique d'un gaz de sphères dures : fluctuations et grandes déviations Thierry Bodineau 22 nov 2019 Mathématiques appliquées Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 22 nov 2019 11:15 - 12:45 Séminaire 14:00 - 15:00 From Molecules to Systems: the problem of knowledge representation in molecular biology Jean Krivine 22 nov 2019 La biologie de l'information – un dialogue entre l'informatique et la biologie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 22 nov 2019 14:00 - 15:00 26 nov 2019 Cours 14:00 - 15:30 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 26 nov 2019 La biologie de l'information – un dialogue entre l'informatique et la biologie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 26 nov 2019 14:00 - 15:30 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 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 Pagination Première page Page précédente … Page 38 Page 39 Page 40 Page 41 Page courante 42 Page 43 Page 44 Page 45 Page 46 … Page suivante Dernière page
Séminaire 14:00 - 15:00 The Evolution of Cellular Individuality Eric Deeds 08 nov 2019 La biologie de l'information – un dialogue entre l'informatique et la biologie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 08 nov 2019 14:00 - 15:00
Cours 14:00 - 15:30 Modélisation du traitement de l'information biologique I. Outils de raisonnement sur les systèmes d'interaction moléculaire : Introduction Walter Fontana 12 nov 2019 La biologie de l'information – un dialogue entre l'informatique et la biologie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 12 nov 2019 14:00 - 15:30
Cours 09:00 - 11:00 HJB, MFG et les autres (suite) (2) Pierre-Louis Lions 15 nov 2019 HJB, MFG et les autres (suite) Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 15 nov 2019 09:00 - 11:00
Séminaire 11:15 - 12:45 Dynamique d'un gaz de sphères dures : analyse des corrélations Laure Saint-Raymond 15 nov 2019 Mathématiques appliquées Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 15 nov 2019 11:15 - 12:45
Séminaire 14:00 - 15:00 Graph Rewriting and Chemistry Daniel Merkle 15 nov 2019 La biologie de l'information – un dialogue entre l'informatique et la biologie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 15 nov 2019 14:00 - 15:00
Cours 14:00 - 15:30 Modélisation du traitement de l'information biologique II. Outils de raisonnement sur les systèmes d'interaction moléculaire : cas d'utilisation Walter Fontana 19 nov 2019 La biologie de l'information – un dialogue entre l'informatique et la biologie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 19 nov 2019 14:00 - 15:30
Cours 09:00 - 11:00 HJB, MFG et les autres (suite) (3) Pierre-Louis Lions 22 nov 2019 HJB, MFG et les autres (suite) Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 22 nov 2019 09:00 - 11:00
Séminaire 11:15 - 12:45 Dynamique d'un gaz de sphères dures : fluctuations et grandes déviations Thierry Bodineau 22 nov 2019 Mathématiques appliquées Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 22 nov 2019 11:15 - 12:45
Séminaire 14:00 - 15:00 From Molecules to Systems: the problem of knowledge representation in molecular biology Jean Krivine 22 nov 2019 La biologie de l'information – un dialogue entre l'informatique et la biologie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 22 nov 2019 14:00 - 15:00
Cours 14:00 - 15:30 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 26 nov 2019 La biologie de l'information – un dialogue entre l'informatique et la biologie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 26 nov 2019 14:00 - 15:30
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
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