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 2439 événements Filtres Dates Dates Du Au Appliquer Aujourd'hui 7 prochains jours 30 prochains jours Tout l'agenda Professeur, chaire, laboratoire Professeur, chaire, laboratoire Rechercher un professeur, une chaire ou un laboratoire Domaines Domaines (-) Mathématiques et sciences informatiques (1855) Physique et chimie (1558) (-) Sciences de l'Univers (584) Sciences de la vie (1744) Histoire et archéologie (4090) Lettres, arts, langage, philosophie (2655) Sciences sociales (1546) Type d'enseignement Type d'enseignement Cours (1250) Séminaire (831) Colloque (78) Leçon inaugurale (43) Conférencier invité (223) Grand événement (14) Filtres actifs Mathématiques et sciences informatiques Sciences de l'Univers Trier par du plus ancien au plus récent du plus ancien au plus récent du plus récent au plus ancien 15 nov 2019 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 Cours 16:00 - 18:00 Tomographie « de forme d'onde » Barbara Romanowicz 19 nov 2019 Imagerie sismique de la terre profonde Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 19 nov 2019 16:00 - 18:00 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 Cours 16:00 - 18:00 Tomographie « de forme d’onde » : nouvelles images du manteau terrestre Barbara Romanowicz 26 nov 2019 Imagerie sismique de la terre profonde Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 26 nov 2019 16:00 - 18:00 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 02 déc 2019 Cours 16:45 - 17:45 Théorie de la réionisation Françoise Combes 02 déc 2019 L'époque de la réionisation de l'Univers Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 02 déc 2019 16:45 - 17:45 Séminaire 17:45 - 18:45 Simulations de la réionisation Benoît Semelin 02 déc 2019 L'époque de la réionisation de l'Univers Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 02 déc 2019 17:45 - 18:45 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 09 déc 2019 Cours 16:45 - 17:45 Observations du gaz atomique à 21 cm Françoise Combes 09 déc 2019 L'époque de la réionisation de l'Univers Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 09 déc 2019 16:45 - 17:45 Séminaire 17:45 - 18:45 Extraire le signal par filtrage Réza Ansari 09 déc 2019 L'époque de la réionisation de l'Univers Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 09 déc 2019 17:45 - 18:45 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 Cours 16:45 - 17:45 Les galaxies durant l'époque de réionisation Françoise Combes 16 déc 2019 L'époque de la réionisation de l'Univers Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 16 déc 2019 16:45 - 17:45 Séminaire 17:45 - 18:45 Observations en millimétrique David Elbaz 16 déc 2019 L'époque de la réionisation de l'Univers Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 16 déc 2019 17:45 - 18:45 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 06 jan 2020 Cours 16:45 - 17:45 Cartes globales d'intensité Françoise Combes 06 jan 2020 L'époque de la réionisation de l'Univers Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 06 jan 2020 16:45 - 17:45 Pagination Première page Page précédente … Page 53 Page 54 Page 55 Page 56 Page courante 57 Page 58 Page 59 Page 60 Page 61 … Page suivante Dernière page
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 16:00 - 18:00 Tomographie « de forme d'onde » Barbara Romanowicz 19 nov 2019 Imagerie sismique de la terre profonde Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 19 nov 2019 16:00 - 18:00
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 16:00 - 18:00 Tomographie « de forme d’onde » : nouvelles images du manteau terrestre Barbara Romanowicz 26 nov 2019 Imagerie sismique de la terre profonde Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 26 nov 2019 16:00 - 18:00
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 16:45 - 17:45 Théorie de la réionisation Françoise Combes 02 déc 2019 L'époque de la réionisation de l'Univers Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 02 déc 2019 16:45 - 17:45
Séminaire 17:45 - 18:45 Simulations de la réionisation Benoît Semelin 02 déc 2019 L'époque de la réionisation de l'Univers Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 02 déc 2019 17:45 - 18:45
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 16:45 - 17:45 Observations du gaz atomique à 21 cm Françoise Combes 09 déc 2019 L'époque de la réionisation de l'Univers Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 09 déc 2019 16:45 - 17:45
Séminaire 17:45 - 18:45 Extraire le signal par filtrage Réza Ansari 09 déc 2019 L'époque de la réionisation de l'Univers Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 09 déc 2019 17:45 - 18:45
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 16:45 - 17:45 Les galaxies durant l'époque de réionisation Françoise Combes 16 déc 2019 L'époque de la réionisation de l'Univers Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 16 déc 2019 16:45 - 17:45
Séminaire 17:45 - 18:45 Observations en millimétrique David Elbaz 16 déc 2019 L'époque de la réionisation de l'Univers Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 16 déc 2019 17:45 - 18:45
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 16:45 - 17:45 Cartes globales d'intensité Françoise Combes 06 jan 2020 L'époque de la réionisation de l'Univers Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 06 jan 2020 16:45 - 17:45