Share Facebook LinkedIn Bluesky Threads Copy url Events Sort by from the oldest to the newest from the oldest to the newest from the newest to the oldest 3575 events Filters Dates Dates From To Apply Today Next 7 days Next 30 days All events Professor, chair or research center Professor, chair or research center Search a professor, a chair or a research center Areas Areas (-) Mathematics and computer sciences (1851) Physics and chemistry (1488) Earth and space sciences (581) (-) Life sciences (1733) History and archeology (4075) Letters, arts, language, philosophy (2650) Social sciences (1538) Event type Event type Lecture (1820) Seminar (1060) Symposium (205) Opening lecture (77) Closing lecture (6) Guest lecturer (368) Special events (39) Active filters Mathematics and computer sciences Life sciences Sort by from the oldest to the newest from the oldest to the newest from the newest to the oldest 3 Mar 2021 Lecture 16:30 - 17:30 How biodiversity is measured Chris Bowler 03 Mar 2021 Biodiversity and Ecosystems through time and space Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 03 Mar 2021 16:30 - 17:30 4 Mar 2021 Lecture 09:30 - 11:00 How to reason about software The birth of program logic Xavier Leroy 04 Mar 2021 Program logic : when the machine reasons about its software Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 04 Mar 2021 09:30 - 11:00 Opening lecture 18:00 - 19:00 Immune system and brain dynamics Sonia Garel 04 Mar 2021 Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 04 Mar 2021 18:00 - 19:00 8 Mar 2021 Lecture 10:00 - 12:00 Stability and plasticity during development Edith Heard 08 Mar 2021 Cellular memory throughout life Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 08 Mar 2021 10:00 - 12:00 10 Mar 2021 Lecture 09:30 - 11:00 Image parsimony and compression Stéphane Mallat 10 Mar 2021 Sparse representations Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 10 Mar 2021 09:30 - 11:00 Lecture 16:30 - 17:30 History of Biodiversity and Ecosystems research Chris Bowler 10 Mar 2021 Biodiversity and Ecosystems through time and space Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 10 Mar 2021 16:30 - 17:30 11 Mar 2021 Lecture 09:30 - 11:00 Variables and loops : Hoare logic Xavier Leroy 11 Mar 2021 Program logic : when the machine reasons about its software Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 11 Mar 2021 09:30 - 11:00 Seminar 11:15 - 12:15 Program logic put to the test : twists and turns with Frama-C/WP Loïc Correnson 11 Mar 2021 Program logic : when the machine reasons about its software Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 11 Mar 2021 11:15 - 12:15 12 Mar 2021 Lecture 11:00 - 12:30 Genetics, human history and adaptation to the environment Lluis Quintana-Murci 12 Mar 2021 Human evolution and population genetics (continued) Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 12 Mar 2021 11:00 - 12:30 15 Mar 2021 Lecture 10:00 - 12:00 Maintaining cellular identity in non-proliferative cells Edith Heard 15 Mar 2021 Cellular memory throughout life Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 15 Mar 2021 10:00 - 12:00 17 Mar 2021 Lecture 16:30 - 17:30 Biodiversity changes in the distant past (1) Chris Bowler 17 Mar 2021 Biodiversity and Ecosystems through time and space Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 17 Mar 2021 16:30 - 17:30 18 Mar 2021 Lecture 09:30 - 11:00 Pointers and data structures : separation logic Xavier Leroy 18 Mar 2021 Program logic : when the machine reasons about its software Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 18 Mar 2021 09:30 - 11:00 Seminar 11:15 - 12:15 Auto-active proof of programs in SPARK Yannick Moy 18 Mar 2021 Program logic : when the machine reasons about its software Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 18 Mar 2021 11:15 - 12:15 19 Mar 2021 Lecture 11:00 - 12:30 The paleogenomic revolution in human history : the contribution of fossil DNA Lluis Quintana-Murci 19 Mar 2021 Human evolution and population genetics (continued) Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 19 Mar 2021 11:00 - 12:30 22 Mar 2021 Lecture 10:00 - 12:00 Genetic stability and epigenetics in the course of aging Edith Heard 22 Mar 2021 Cellular memory throughout life Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 22 Mar 2021 10:00 - 12:00 24 Mar 2021 Lecture 16:30 - 17:30 Biodiversity changes in the distant past (2) Chris Bowler 24 Mar 2021 Biodiversity and Ecosystems through time and space Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 24 Mar 2021 16:30 - 17:30 Seminar 17:30 - 18:30 Study changes in biodiversity in the distant past using current data Hélène Morlon 24 Mar 2021 Biodiversity and Ecosystems through time and space Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 24 Mar 2021 17:30 - 18:30 25 Mar 2021 Lecture 09:30 - 11:00 Parallelism with shared memory : the logic of concurrent separation Xavier Leroy 25 Mar 2021 Program logic : when the machine reasons about its software Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 25 Mar 2021 09:30 - 11:00 Seminar 11:15 - 12:15 VeriFast: Semi-Automated Modular Verification of Concurrent C and Java Programs Using Separation Logic Bart Jacobs 25 Mar 2021 Program logic : when the machine reasons about its software Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 25 Mar 2021 11:15 - 12:15 26 Mar 2021 Lecture 11:00 - 12:30 Man and microbes - a long and double relationship Lluis Quintana-Murci 26 Mar 2021 Human evolution and population genetics (continued) Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 26 Mar 2021 11:00 - 12:30 29 Mar 2021 Lecture 10:00 - 12:00 Loss of cellular identity during reprogramming and in pathologies Edith Heard 29 Mar 2021 Cellular memory throughout life Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 29 Mar 2021 10:00 - 12:00 31 Mar 2021 Lecture 16:30 - 17:30 Current distribution of biodiversity in different ecosystems Chris Bowler 31 Mar 2021 Biodiversity and Ecosystems through time and space Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 31 Mar 2021 16:30 - 17:30 Seminar 17:30 - 18:30 Trophic structuring of the planktonic ecosystem : predominance of predator-dominated systems on a global scale Fabien Lombard 31 Mar 2021 Biodiversity and Ecosystems through time and space Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 31 Mar 2021 17:30 - 18:30 1 Apr 2021 Lecture 09:30 - 11:00 Some extensions of the separation logic Xavier Leroy 01 Apr 2021 Program logic : when the machine reasons about its software Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 01 Apr 2021 09:30 - 11:00 Seminar 11:15 - 12:15 Reasoning about time in separation logic François Pottier 01 Apr 2021 Program logic : when the machine reasons about its software Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 01 Apr 2021 11:15 - 12:15 Opening lecture 18:00 - 19:00 Quantum algorithms : when quantum physics challenges the Church-Turing thesis Frédéric Magniez 01 Apr 2021 Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 01 Apr 2021 18:00 - 19:00 2 Apr 2021 Lecture 11:00 - 12:30 Impact of genetics and cultural practices on human disease Lluis Quintana-Murci 02 Apr 2021 Human evolution and population genetics (continued) Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 02 Apr 2021 11:00 - 12:30 Lecture 14:00 - 16:00 Fibrous with additional structure on a curve Bảo Châu Ngô 02 Apr 2021 Duality of Hitchin fibrations and endoscopy 02 Apr 2021 14:00 - 16:00 7 Apr 2021 Lecture 10:00 - 11:30 Quantum information, first computational uses : superposition, measurement, transformation, non-cloning, quantum key distribution, teleportation Frédéric Magniez 07 Apr 2021 Quantum algorithms Salle 5, Site Marcelin Berthelot 07 Apr 2021 10:00 - 11:30 Seminar 11:30 - 12:30 Quantum communication networks Eleni Diamanti 07 Apr 2021 Quantum algorithms Salle 5, Site Marcelin Berthelot 07 Apr 2021 11:30 - 12:30 Pagination First page Previous page … Page 86 Page 87 Page 88 Page 89 Current page 90 Page 91 Page 92 Page 93 Page 94 … Next page Last page
Lecture 16:30 - 17:30 How biodiversity is measured Chris Bowler 03 Mar 2021 Biodiversity and Ecosystems through time and space Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 03 Mar 2021 16:30 - 17:30
Lecture 09:30 - 11:00 How to reason about software The birth of program logic Xavier Leroy 04 Mar 2021 Program logic : when the machine reasons about its software Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 04 Mar 2021 09:30 - 11:00
Opening lecture 18:00 - 19:00 Immune system and brain dynamics Sonia Garel 04 Mar 2021 Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 04 Mar 2021 18:00 - 19:00
Lecture 10:00 - 12:00 Stability and plasticity during development Edith Heard 08 Mar 2021 Cellular memory throughout life Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 08 Mar 2021 10:00 - 12:00
Lecture 09:30 - 11:00 Image parsimony and compression Stéphane Mallat 10 Mar 2021 Sparse representations Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 10 Mar 2021 09:30 - 11:00
Lecture 16:30 - 17:30 History of Biodiversity and Ecosystems research Chris Bowler 10 Mar 2021 Biodiversity and Ecosystems through time and space Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 10 Mar 2021 16:30 - 17:30
Lecture 09:30 - 11:00 Variables and loops : Hoare logic Xavier Leroy 11 Mar 2021 Program logic : when the machine reasons about its software Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 11 Mar 2021 09:30 - 11:00
Seminar 11:15 - 12:15 Program logic put to the test : twists and turns with Frama-C/WP Loïc Correnson 11 Mar 2021 Program logic : when the machine reasons about its software Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 11 Mar 2021 11:15 - 12:15
Lecture 11:00 - 12:30 Genetics, human history and adaptation to the environment Lluis Quintana-Murci 12 Mar 2021 Human evolution and population genetics (continued) Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 12 Mar 2021 11:00 - 12:30
Lecture 10:00 - 12:00 Maintaining cellular identity in non-proliferative cells Edith Heard 15 Mar 2021 Cellular memory throughout life Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 15 Mar 2021 10:00 - 12:00
Lecture 16:30 - 17:30 Biodiversity changes in the distant past (1) Chris Bowler 17 Mar 2021 Biodiversity and Ecosystems through time and space Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 17 Mar 2021 16:30 - 17:30
Lecture 09:30 - 11:00 Pointers and data structures : separation logic Xavier Leroy 18 Mar 2021 Program logic : when the machine reasons about its software Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 18 Mar 2021 09:30 - 11:00
Seminar 11:15 - 12:15 Auto-active proof of programs in SPARK Yannick Moy 18 Mar 2021 Program logic : when the machine reasons about its software Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 18 Mar 2021 11:15 - 12:15
Lecture 11:00 - 12:30 The paleogenomic revolution in human history : the contribution of fossil DNA Lluis Quintana-Murci 19 Mar 2021 Human evolution and population genetics (continued) Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 19 Mar 2021 11:00 - 12:30
Lecture 10:00 - 12:00 Genetic stability and epigenetics in the course of aging Edith Heard 22 Mar 2021 Cellular memory throughout life Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 22 Mar 2021 10:00 - 12:00
Lecture 16:30 - 17:30 Biodiversity changes in the distant past (2) Chris Bowler 24 Mar 2021 Biodiversity and Ecosystems through time and space Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 24 Mar 2021 16:30 - 17:30
Seminar 17:30 - 18:30 Study changes in biodiversity in the distant past using current data Hélène Morlon 24 Mar 2021 Biodiversity and Ecosystems through time and space Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 24 Mar 2021 17:30 - 18:30
Lecture 09:30 - 11:00 Parallelism with shared memory : the logic of concurrent separation Xavier Leroy 25 Mar 2021 Program logic : when the machine reasons about its software Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 25 Mar 2021 09:30 - 11:00
Seminar 11:15 - 12:15 VeriFast: Semi-Automated Modular Verification of Concurrent C and Java Programs Using Separation Logic Bart Jacobs 25 Mar 2021 Program logic : when the machine reasons about its software Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 25 Mar 2021 11:15 - 12:15
Lecture 11:00 - 12:30 Man and microbes - a long and double relationship Lluis Quintana-Murci 26 Mar 2021 Human evolution and population genetics (continued) Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 26 Mar 2021 11:00 - 12:30
Lecture 10:00 - 12:00 Loss of cellular identity during reprogramming and in pathologies Edith Heard 29 Mar 2021 Cellular memory throughout life Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 29 Mar 2021 10:00 - 12:00
Lecture 16:30 - 17:30 Current distribution of biodiversity in different ecosystems Chris Bowler 31 Mar 2021 Biodiversity and Ecosystems through time and space Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 31 Mar 2021 16:30 - 17:30
Seminar 17:30 - 18:30 Trophic structuring of the planktonic ecosystem : predominance of predator-dominated systems on a global scale Fabien Lombard 31 Mar 2021 Biodiversity and Ecosystems through time and space Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 31 Mar 2021 17:30 - 18:30
Lecture 09:30 - 11:00 Some extensions of the separation logic Xavier Leroy 01 Apr 2021 Program logic : when the machine reasons about its software Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 01 Apr 2021 09:30 - 11:00
Seminar 11:15 - 12:15 Reasoning about time in separation logic François Pottier 01 Apr 2021 Program logic : when the machine reasons about its software Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 01 Apr 2021 11:15 - 12:15
Opening lecture 18:00 - 19:00 Quantum algorithms : when quantum physics challenges the Church-Turing thesis Frédéric Magniez 01 Apr 2021 Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 01 Apr 2021 18:00 - 19:00
Lecture 11:00 - 12:30 Impact of genetics and cultural practices on human disease Lluis Quintana-Murci 02 Apr 2021 Human evolution and population genetics (continued) Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 02 Apr 2021 11:00 - 12:30
Lecture 14:00 - 16:00 Fibrous with additional structure on a curve Bảo Châu Ngô 02 Apr 2021 Duality of Hitchin fibrations and endoscopy 02 Apr 2021 14:00 - 16:00
Lecture 10:00 - 11:30 Quantum information, first computational uses : superposition, measurement, transformation, non-cloning, quantum key distribution, teleportation Frédéric Magniez 07 Apr 2021 Quantum algorithms Salle 5, Site Marcelin Berthelot 07 Apr 2021 10:00 - 11:30
Seminar 11:30 - 12:30 Quantum communication networks Eleni Diamanti 07 Apr 2021 Quantum algorithms Salle 5, Site Marcelin Berthelot 07 Apr 2021 11:30 - 12:30