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 3590 é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 (1828) Séminaire (1062) Colloque (206) Leçon inaugurale (77) Leçon de clôture (6) Conférencier invité (372) Grand événement (39) Filtres actifs Mathématiques et sciences informatiques Sciences de la vie Trier par du plus ancien au plus récent du plus ancien au plus récent du plus récent au plus ancien 03 Mar 2021 Cours 16:30 - 17:30 La façon dont la biodiversité est mesurée Chris Bowler 03 Mar 2021 La biodiversité et les écosystèmes à travers le temps et l'espace Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 03 Mar 2021 16:30 - 17:30 04 Mar 2021 Cours 09:30 - 11:00 Comment raisonner sur un logiciel ? La naissance des logiques de programmes Xavier Leroy 04 Mar 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 04 Mar 2021 09:30 - 11:00 Leçon inaugurale 18:00 - 19:00 Système immunitaire et dynamique du cerveau Sonia Garel 04 Mar 2021 Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 04 Mar 2021 18:00 - 19:00 08 Mar 2021 Cours 10:00 - 12:00 Stabilité et plasticité au cours du développement Edith Heard 08 Mar 2021 Mémoire cellulaire au cours de la vie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 08 Mar 2021 10:00 - 12:00 10 Mar 2021 Cours 09:30 - 11:00 Parcimonie et compression d'images Stéphane Mallat 10 Mar 2021 Représentations parcimonieuses Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 10 Mar 2021 09:30 - 11:00 Cours 16:30 - 17:30 Histoire de la recherche sur la biodiversité et les écosystèmes Chris Bowler 10 Mar 2021 La biodiversité et les écosystèmes à travers le temps et l'espace Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 10 Mar 2021 16:30 - 17:30 11 Mar 2021 Cours 09:30 - 11:00 Variables et boucles : la logique de Hoare Xavier Leroy 11 Mar 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 11 Mar 2021 09:30 - 11:00 Séminaire 11:15 - 12:15 Les logiques de programmes à l'épreuve du réel : tours et détours avec Frama-C/WP Loïc Correnson 11 Mar 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 11 Mar 2021 11:15 - 12:15 12 Mar 2021 Cours 11:00 - 12:30 Génétique, histoire de l'Homme et adaptation à l'environnement Lluis Quintana-Murci 12 Mar 2021 Évolution humaine et génétique des populations (suite) Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 12 Mar 2021 11:00 - 12:30 15 Mar 2021 Cours 10:00 - 12:00 Maintien de l'identité cellulaire dans les cellules non prolifératives Edith Heard 15 Mar 2021 Mémoire cellulaire au cours de la vie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 15 Mar 2021 10:00 - 12:00 17 Mar 2021 Cours 16:30 - 17:30 Changements en biodiversité dans un passé lointain (1) Chris Bowler 17 Mar 2021 La biodiversité et les écosystèmes à travers le temps et l'espace Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 17 Mar 2021 16:30 - 17:30 18 Mar 2021 Cours 09:30 - 11:00 Pointeurs et structures de données : la logique de séparation Xavier Leroy 18 Mar 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 18 Mar 2021 09:30 - 11:00 Séminaire 11:15 - 12:15 Preuve auto-active de programmes en SPARK Yannick Moy 18 Mar 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 18 Mar 2021 11:15 - 12:15 19 Mar 2021 Cours 11:00 - 12:30 La révolution paléo-génomique dans l'histoire de l'Homme : l'apport de l'ADN fossile Lluis Quintana-Murci 19 Mar 2021 Évolution humaine et génétique des populations (suite) Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 19 Mar 2021 11:00 - 12:30 22 Mar 2021 Cours 10:00 - 12:00 Stabilité génétique et epigénétique au cours du vieillissement Edith Heard 22 Mar 2021 Mémoire cellulaire au cours de la vie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 22 Mar 2021 10:00 - 12:00 24 Mar 2021 Cours 16:30 - 17:30 Changements en biodiversité dans un passé lointain (2) Chris Bowler 24 Mar 2021 La biodiversité et les écosystèmes à travers le temps et l'espace Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 24 Mar 2021 16:30 - 17:30 Séminaire 17:30 - 18:30 Étudier les changements en biodiversité dans un passé lointain à partir de données actuelles Hélène Morlon 24 Mar 2021 La biodiversité et les écosystèmes à travers le temps et l'espace Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 24 Mar 2021 17:30 - 18:30 25 Mar 2021 Cours 09:30 - 11:00 Parallélisme à mémoire partagée : la logique de séparation concurrente Xavier Leroy 25 Mar 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 25 Mar 2021 09:30 - 11:00 Séminaire 11:15 - 12:15 VeriFast: Semi-Automated Modular Verification of Concurrent C and Java Programs Using Separation Logic Bart Jacobs 25 Mar 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 25 Mar 2021 11:15 - 12:15 26 Mar 2021 Cours 11:00 - 12:30 L'Homme et les microbes – une double et longue liaison Lluis Quintana-Murci 26 Mar 2021 Évolution humaine et génétique des populations (suite) Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 26 Mar 2021 11:00 - 12:30 29 Mar 2021 Cours 10:00 - 12:00 Perte d'identité cellulaire au cours de la reprogrammation et dans des pathologies Edith Heard 29 Mar 2021 Mémoire cellulaire au cours de la vie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 29 Mar 2021 10:00 - 12:00 31 Mar 2021 Cours 16:30 - 17:30 Répartition actuelle de la biodiversité dans les différents écosystèmes Chris Bowler 31 Mar 2021 La biodiversité et les écosystèmes à travers le temps et l'espace Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 31 Mar 2021 16:30 - 17:30 Séminaire 17:30 - 18:30 La structuration trophique de l'écosystème planctonique : prédominance des systèmes dominés par les prédateurs à l'échelle globale Fabien Lombard 31 Mar 2021 La biodiversité et les écosystèmes à travers le temps et l'espace Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 31 Mar 2021 17:30 - 18:30 01 avr 2021 Cours 09:30 - 11:00 Quelques extensions de la logique de séparation Xavier Leroy 01 avr 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 01 avr 2021 09:30 - 11:00 Séminaire 11:15 - 12:15 Raisonner à propos du temps en logique de séparation François Pottier 01 avr 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 01 avr 2021 11:15 - 12:15 Leçon inaugurale 18:00 - 19:00 Algorithmes quantiques : quand la physique quantique défie la thèse de Church-Turing Frédéric Magniez 01 avr 2021 Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 01 avr 2021 18:00 - 19:00 02 avr 2021 Cours 11:00 - 12:30 Impact de la génétique et les pratiques culturelles sur maladies humaines Lluis Quintana-Murci 02 avr 2021 Évolution humaine et génétique des populations (suite) Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 02 avr 2021 11:00 - 12:30 Cours 14:00 - 16:00 Fibrés avec structure additionnelle sur une courbe Bảo Châu Ngô 02 avr 2021 Dualité des fibrations de Hitchin et endoscopie 02 avr 2021 14:00 - 16:00 07 avr 2021 Cours 10:00 - 11:30 Information quantique, premières utilisations calculatoires : superposition, mesure, transformation, non-clonage, distribution quantique de clés, téléportation Frédéric Magniez 07 avr 2021 Algorithmes quantiques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 07 avr 2021 10:00 - 11:30 Séminaire 11:30 - 12:30 Réseaux de communication quantique Eleni Diamanti 07 avr 2021 Algorithmes quantiques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 07 avr 2021 11:30 - 12:30 Pagination Première page Page précédente … Page 86 Page 87 Page 88 Page 89 Page courante 90 Page 91 Page 92 Page 93 Page 94 … Page suivante Dernière page
Cours 16:30 - 17:30 La façon dont la biodiversité est mesurée Chris Bowler 03 Mar 2021 La biodiversité et les écosystèmes à travers le temps et l'espace Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 03 Mar 2021 16:30 - 17:30
Cours 09:30 - 11:00 Comment raisonner sur un logiciel ? La naissance des logiques de programmes Xavier Leroy 04 Mar 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 04 Mar 2021 09:30 - 11:00
Leçon inaugurale 18:00 - 19:00 Système immunitaire et dynamique du cerveau Sonia Garel 04 Mar 2021 Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 04 Mar 2021 18:00 - 19:00
Cours 10:00 - 12:00 Stabilité et plasticité au cours du développement Edith Heard 08 Mar 2021 Mémoire cellulaire au cours de la vie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 08 Mar 2021 10:00 - 12:00
Cours 09:30 - 11:00 Parcimonie et compression d'images Stéphane Mallat 10 Mar 2021 Représentations parcimonieuses Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 10 Mar 2021 09:30 - 11:00
Cours 16:30 - 17:30 Histoire de la recherche sur la biodiversité et les écosystèmes Chris Bowler 10 Mar 2021 La biodiversité et les écosystèmes à travers le temps et l'espace Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 10 Mar 2021 16:30 - 17:30
Cours 09:30 - 11:00 Variables et boucles : la logique de Hoare Xavier Leroy 11 Mar 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 11 Mar 2021 09:30 - 11:00
Séminaire 11:15 - 12:15 Les logiques de programmes à l'épreuve du réel : tours et détours avec Frama-C/WP Loïc Correnson 11 Mar 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 11 Mar 2021 11:15 - 12:15
Cours 11:00 - 12:30 Génétique, histoire de l'Homme et adaptation à l'environnement Lluis Quintana-Murci 12 Mar 2021 Évolution humaine et génétique des populations (suite) Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 12 Mar 2021 11:00 - 12:30
Cours 10:00 - 12:00 Maintien de l'identité cellulaire dans les cellules non prolifératives Edith Heard 15 Mar 2021 Mémoire cellulaire au cours de la vie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 15 Mar 2021 10:00 - 12:00
Cours 16:30 - 17:30 Changements en biodiversité dans un passé lointain (1) Chris Bowler 17 Mar 2021 La biodiversité et les écosystèmes à travers le temps et l'espace Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 17 Mar 2021 16:30 - 17:30
Cours 09:30 - 11:00 Pointeurs et structures de données : la logique de séparation Xavier Leroy 18 Mar 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 18 Mar 2021 09:30 - 11:00
Séminaire 11:15 - 12:15 Preuve auto-active de programmes en SPARK Yannick Moy 18 Mar 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 18 Mar 2021 11:15 - 12:15
Cours 11:00 - 12:30 La révolution paléo-génomique dans l'histoire de l'Homme : l'apport de l'ADN fossile Lluis Quintana-Murci 19 Mar 2021 Évolution humaine et génétique des populations (suite) Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 19 Mar 2021 11:00 - 12:30
Cours 10:00 - 12:00 Stabilité génétique et epigénétique au cours du vieillissement Edith Heard 22 Mar 2021 Mémoire cellulaire au cours de la vie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 22 Mar 2021 10:00 - 12:00
Cours 16:30 - 17:30 Changements en biodiversité dans un passé lointain (2) Chris Bowler 24 Mar 2021 La biodiversité et les écosystèmes à travers le temps et l'espace Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 24 Mar 2021 16:30 - 17:30
Séminaire 17:30 - 18:30 Étudier les changements en biodiversité dans un passé lointain à partir de données actuelles Hélène Morlon 24 Mar 2021 La biodiversité et les écosystèmes à travers le temps et l'espace Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 24 Mar 2021 17:30 - 18:30
Cours 09:30 - 11:00 Parallélisme à mémoire partagée : la logique de séparation concurrente Xavier Leroy 25 Mar 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 25 Mar 2021 09:30 - 11:00
Séminaire 11:15 - 12:15 VeriFast: Semi-Automated Modular Verification of Concurrent C and Java Programs Using Separation Logic Bart Jacobs 25 Mar 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 25 Mar 2021 11:15 - 12:15
Cours 11:00 - 12:30 L'Homme et les microbes – une double et longue liaison Lluis Quintana-Murci 26 Mar 2021 Évolution humaine et génétique des populations (suite) Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 26 Mar 2021 11:00 - 12:30
Cours 10:00 - 12:00 Perte d'identité cellulaire au cours de la reprogrammation et dans des pathologies Edith Heard 29 Mar 2021 Mémoire cellulaire au cours de la vie Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 29 Mar 2021 10:00 - 12:00
Cours 16:30 - 17:30 Répartition actuelle de la biodiversité dans les différents écosystèmes Chris Bowler 31 Mar 2021 La biodiversité et les écosystèmes à travers le temps et l'espace Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 31 Mar 2021 16:30 - 17:30
Séminaire 17:30 - 18:30 La structuration trophique de l'écosystème planctonique : prédominance des systèmes dominés par les prédateurs à l'échelle globale Fabien Lombard 31 Mar 2021 La biodiversité et les écosystèmes à travers le temps et l'espace Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 31 Mar 2021 17:30 - 18:30
Cours 09:30 - 11:00 Quelques extensions de la logique de séparation Xavier Leroy 01 avr 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 01 avr 2021 09:30 - 11:00
Séminaire 11:15 - 12:15 Raisonner à propos du temps en logique de séparation François Pottier 01 avr 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 01 avr 2021 11:15 - 12:15
Leçon inaugurale 18:00 - 19:00 Algorithmes quantiques : quand la physique quantique défie la thèse de Church-Turing Frédéric Magniez 01 avr 2021 Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 01 avr 2021 18:00 - 19:00
Cours 11:00 - 12:30 Impact de la génétique et les pratiques culturelles sur maladies humaines Lluis Quintana-Murci 02 avr 2021 Évolution humaine et génétique des populations (suite) Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 02 avr 2021 11:00 - 12:30
Cours 14:00 - 16:00 Fibrés avec structure additionnelle sur une courbe Bảo Châu Ngô 02 avr 2021 Dualité des fibrations de Hitchin et endoscopie 02 avr 2021 14:00 - 16:00
Cours 10:00 - 11:30 Information quantique, premières utilisations calculatoires : superposition, mesure, transformation, non-clonage, distribution quantique de clés, téléportation Frédéric Magniez 07 avr 2021 Algorithmes quantiques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 07 avr 2021 10:00 - 11:30
Séminaire 11:30 - 12:30 Réseaux de communication quantique Eleni Diamanti 07 avr 2021 Algorithmes quantiques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 07 avr 2021 11:30 - 12:30