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 3372 é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 (1828) Séminaire (1062) Leçon inaugurale (77) Leçon de clôture (6) Conférencier invité (368) Grand événement (31) 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 25 Mar 2021 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 Cours 16:30 - 17:30 Comment nos perceptions de la biodiversité et de l'environnement ont-elles changé dans le temps ? Chris Bowler 07 Avr 2021 La biodiversité et les écosystèmes à travers le temps et l'espace Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 07 Avr 2021 16:30 - 17:30 08 Avr 2021 Cours 09:30 - 11:00 Logiques pour la mémoire partagée faiblement cohérente Xavier Leroy 08 Avr 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 08 Avr 2021 09:30 - 11:00 Séminaire 11:15 - 12:15 Protocoles personnalisés en logique de séparation : ressources fantômes et invariants dans la logique Iris Jacques-Henri Jourdan 08 Avr 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 08 Avr 2021 11:15 - 12:15 09 Avr 2021 Cours 14:00 - 16:00 Espace de module des fibrés et la Grassmannienne affine Bảo Châu Ngô 09 Avr 2021 Dualité des fibrations de Hitchin et endoscopie 09 Avr 2021 14:00 - 16:00 12 Avr 2021 Cours 16:30 - 18:00 Une perspective historique sur les interactions neuroimmunitaires Sonia Garel 12 Avr 2021 Les cellules immunitaires du cerveau : origines, fonctions et implications dans les maladies neurodégénératives Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 12 Avr 2021 16:30 - 18:00 14 Avr 2021 Cours 10:00 - 11:30 Cryptographie et communication quantiques : inégalités de Bell, tirage à pile ou face, mise en gage, certification Frédéric Magniez 14 Avr 2021 Algorithmes quantiques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 14 Avr 2021 10:00 - 11:30 Séminaire 11:30 - 12:30 Certifier la génération de nombres aléatoires avec le quantique Thomas Vidick 14 Avr 2021 Algorithmes quantiques 14 Avr 2021 11:30 - 12:30 Cours 16:30 - 17:30 Écosystèmes perturbés, émergence de maladies infectieuses Chris Bowler 14 Avr 2021 La biodiversité et les écosystèmes à travers le temps et l'espace Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 14 Avr 2021 16:30 - 17:30 15 Avr 2021 Cours 09:30 - 11:00 Logiques pour les langages fonctionnels et l'ordre supérieur Xavier Leroy 15 Avr 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 15 Avr 2021 09:30 - 11:00 Séminaire 11:15 - 12:15 Gillian: a Multi-language Platform for Compositional Symbolic Analysis Philippa Gardner 15 Avr 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 15 Avr 2021 11:15 - 12:15 16 Avr 2021 Cours 14:00 - 16:00 Fibration de Hitchin Bảo Châu Ngô 16 Avr 2021 Dualité des fibrations de Hitchin et endoscopie 16 Avr 2021 14:00 - 16:00 03 mai 2021 Cours 16:30 - 18:00 Origine et diversité des cellules immunitaires du cerveau Sonia Garel 03 mai 2021 Les cellules immunitaires du cerveau : origines, fonctions et implications dans les maladies neurodégénératives Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 03 mai 2021 16:30 - 18:00 04 mai 2021 Cours 16:00 - 17:00 Introduction au développement et à l'évolution des membres chez les vertébrés tétrapodes Denis Duboule 04 mai 2021 Régulation des gènes du développement et syndromes génétiques : mécanismes, contraintes et atavismes Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 04 mai 2021 16:00 - 17:00 05 mai 2021 Cours 10:00 - 11:30 Circuits quantiques, premiers algorithmes : portes universelles, algorithmes de Deutsch-Jozsa et Bernstein-Vazirani, supériorité des algorithmes quantiques Frédéric Magniez 05 mai 2021 Algorithmes quantiques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 05 mai 2021 10:00 - 11:30 Séminaire 11:30 - 12:30 Langages graphiques pour programmer et raisonner en informatique quantique Simon Perdrix 05 mai 2021 Algorithmes quantiques 05 mai 2021 11:30 - 12:30 07 mai 2021 Cours 14:00 - 16:00 Fibres de Springer affines Bảo Châu Ngô 07 mai 2021 Dualité des fibrations de Hitchin et endoscopie 07 mai 2021 14:00 - 16:00 10 mai 2021 Cours 16:00 - 17:30 Les macrophages du cerveau : du nettoyage tissulaire à la régulation des synapses (I) Sonia Garel 10 mai 2021 Les cellules immunitaires du cerveau : origines, fonctions et implications dans les maladies neurodégénératives Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 10 mai 2021 16:00 - 17:30 11 mai 2021 Cours 16:00 - 18:00 Introduction au développement et à l'évolution des membres chez les vertébrés tétrapodes : suite et fin Denis Duboule 11 mai 2021 Régulation des gènes du développement et syndromes génétiques : mécanismes, contraintes et atavismes Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 11 mai 2021 16:00 - 18:00 Pagination Première page Page précédente … Page 82 Page 83 Page 84 Page 85 Page courante 86 Page 87 Page 88 Page 89 Page 90 … Page suivante Dernière page
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
Cours 16:30 - 17:30 Comment nos perceptions de la biodiversité et de l'environnement ont-elles changé dans le temps ? Chris Bowler 07 Avr 2021 La biodiversité et les écosystèmes à travers le temps et l'espace Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 07 Avr 2021 16:30 - 17:30
Cours 09:30 - 11:00 Logiques pour la mémoire partagée faiblement cohérente Xavier Leroy 08 Avr 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 08 Avr 2021 09:30 - 11:00
Séminaire 11:15 - 12:15 Protocoles personnalisés en logique de séparation : ressources fantômes et invariants dans la logique Iris Jacques-Henri Jourdan 08 Avr 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 08 Avr 2021 11:15 - 12:15
Cours 14:00 - 16:00 Espace de module des fibrés et la Grassmannienne affine Bảo Châu Ngô 09 Avr 2021 Dualité des fibrations de Hitchin et endoscopie 09 Avr 2021 14:00 - 16:00
Cours 16:30 - 18:00 Une perspective historique sur les interactions neuroimmunitaires Sonia Garel 12 Avr 2021 Les cellules immunitaires du cerveau : origines, fonctions et implications dans les maladies neurodégénératives Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 12 Avr 2021 16:30 - 18:00
Cours 10:00 - 11:30 Cryptographie et communication quantiques : inégalités de Bell, tirage à pile ou face, mise en gage, certification Frédéric Magniez 14 Avr 2021 Algorithmes quantiques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 14 Avr 2021 10:00 - 11:30
Séminaire 11:30 - 12:30 Certifier la génération de nombres aléatoires avec le quantique Thomas Vidick 14 Avr 2021 Algorithmes quantiques 14 Avr 2021 11:30 - 12:30
Cours 16:30 - 17:30 Écosystèmes perturbés, émergence de maladies infectieuses Chris Bowler 14 Avr 2021 La biodiversité et les écosystèmes à travers le temps et l'espace Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 14 Avr 2021 16:30 - 17:30
Cours 09:30 - 11:00 Logiques pour les langages fonctionnels et l'ordre supérieur Xavier Leroy 15 Avr 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 15 Avr 2021 09:30 - 11:00
Séminaire 11:15 - 12:15 Gillian: a Multi-language Platform for Compositional Symbolic Analysis Philippa Gardner 15 Avr 2021 Logiques de programmes : quand la machine raisonne sur ses logiciels Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 15 Avr 2021 11:15 - 12:15
Cours 14:00 - 16:00 Fibration de Hitchin Bảo Châu Ngô 16 Avr 2021 Dualité des fibrations de Hitchin et endoscopie 16 Avr 2021 14:00 - 16:00
Cours 16:30 - 18:00 Origine et diversité des cellules immunitaires du cerveau Sonia Garel 03 mai 2021 Les cellules immunitaires du cerveau : origines, fonctions et implications dans les maladies neurodégénératives Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 03 mai 2021 16:30 - 18:00
Cours 16:00 - 17:00 Introduction au développement et à l'évolution des membres chez les vertébrés tétrapodes Denis Duboule 04 mai 2021 Régulation des gènes du développement et syndromes génétiques : mécanismes, contraintes et atavismes Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 04 mai 2021 16:00 - 17:00
Cours 10:00 - 11:30 Circuits quantiques, premiers algorithmes : portes universelles, algorithmes de Deutsch-Jozsa et Bernstein-Vazirani, supériorité des algorithmes quantiques Frédéric Magniez 05 mai 2021 Algorithmes quantiques Amphithéâtre Mireille Delmas-Marty (salle 5), Site Marcelin Berthelot 05 mai 2021 10:00 - 11:30
Séminaire 11:30 - 12:30 Langages graphiques pour programmer et raisonner en informatique quantique Simon Perdrix 05 mai 2021 Algorithmes quantiques 05 mai 2021 11:30 - 12:30
Cours 14:00 - 16:00 Fibres de Springer affines Bảo Châu Ngô 07 mai 2021 Dualité des fibrations de Hitchin et endoscopie 07 mai 2021 14:00 - 16:00
Cours 16:00 - 17:30 Les macrophages du cerveau : du nettoyage tissulaire à la régulation des synapses (I) Sonia Garel 10 mai 2021 Les cellules immunitaires du cerveau : origines, fonctions et implications dans les maladies neurodégénératives Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 10 mai 2021 16:00 - 17:30
Cours 16:00 - 18:00 Introduction au développement et à l'évolution des membres chez les vertébrés tétrapodes : suite et fin Denis Duboule 11 mai 2021 Régulation des gènes du développement et syndromes génétiques : mécanismes, contraintes et atavismes Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 11 mai 2021 16:00 - 18:00