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 3226 events Filters Dates Dates From To Next 7 days Next 30 days 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 (1781) (-) Physics and chemistry (1445) Earth and space sciences (537) Life sciences (1538) History and archeology (3796) Letters, arts, language, philosophy (2411) Social sciences (1354) Event type Event type Lecture (1557) Seminar (1253) Opening lecture (47) Closing lecture (2) Guest lecturer (326) Special events (41) Active filters Mathematics and computer sciences Physics and chemistry Sort by from the oldest to the newest from the oldest to the newest from the newest to the oldest 1 Mar 2021 Seminar 15:45 - 16:45 Theories of Stem Cell Renewal Ben Simons 01 Mar 2021 Mechanics and tissue growth Salle 5, Site Marcelin Berthelot 01 Mar 2021 15:45 - 16:45 3 Mar 2021 Lecture 09:30 - 11:00 Orthonormal wavelet bases Stéphane Mallat 03 Mar 2021 Sparse representations Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 03 Mar 2021 09:30 - 11:00 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 5 Mar 2021 Lecture 09:30 - 11:00 The interaction potential between two atoms Jean Dalibard 05 Mar 2021 Particle interactions in quantum gases Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 05 Mar 2021 09:30 - 11:00 Seminar 11:00 - 12:30 Rotating ring quantum gases : from elementary current to supersonic flow Hélène Perrin 05 Mar 2021 Particle interactions in quantum gases Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 05 Mar 2021 11:00 - 12:30 8 Mar 2021 Lecture 14:00 - 15:30 Hydrodynamics and rheology of fabrics Jean-François Joanny 08 Mar 2021 Mechanics and tissue growth Salle 5, Site Marcelin Berthelot 08 Mar 2021 14:00 - 15:30 Lecture 14:00 - 15:00 Acoustic techniques for battery diagnosis/monitoring Jean-Marie Tarascon 08 Mar 2021 Diagnostic and self-repair techniques for more efficient batteries Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 08 Mar 2021 14:00 - 15:00 Seminar 15:00 - 16:00 Fiber optic infrared detection Jean-Luc Adam 08 Mar 2021 Diagnostic and self-repair techniques for more efficient batteries Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 08 Mar 2021 15:00 - 16:00 Seminar 15:45 - 16:45 How Multicellular Systems Discriminate between Osmotic Pressure and Osmotic Stress Giovanni Cappello 08 Mar 2021 Mechanics and tissue growth Salle 5, Site Marcelin Berthelot 08 Mar 2021 15:45 - 16:45 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 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 09:30 - 11:00 Elements of diffusion theory Jean Dalibard 12 Mar 2021 Particle interactions in quantum gases Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 12 Mar 2021 09:30 - 11:00 Seminar 11:00 - 12:30 Detecting Spin Fluorescence with a Microwave Photon Counter Patrice Bertet 12 Mar 2021 Particle interactions in quantum gases Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 12 Mar 2021 11:00 - 12:30 15 Mar 2021 Lecture 14:00 - 15:30 Active tissue behavior Jean-François Joanny 15 Mar 2021 Mechanics and tissue growth Salle 5, Site Marcelin Berthelot 15 Mar 2021 14:00 - 15:30 Lecture 14:00 - 15:00 Other sensors and introduction to self-repairing batteries Jean-Marie Tarascon 15 Mar 2021 Diagnostic and self-repair techniques for more efficient batteries Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 15 Mar 2021 14:00 - 15:00 Seminar 15:00 - 16:00 The Zn/MnO2 system : exemplary chemistry and history Dominique Larcher 15 Mar 2021 Diagnostic and self-repair techniques for more efficient batteries Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 15 Mar 2021 15:00 - 16:00 Seminar 15:45 - 16:45 Cell and Tissue Mechanics in Zebrafish Embryogenesis Carl Philip Heisenberg 15 Mar 2021 Mechanics and tissue growth Salle 5, Site Marcelin Berthelot 15 Mar 2021 15:45 - 16:45 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 09:30 - 11:00 Low-energy collisions Jean Dalibard 19 Mar 2021 Particle interactions in quantum gases Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 19 Mar 2021 09:30 - 11:00 Seminar 11:00 - 12:30 Measuring the fine structure constant to refine Standard Model predictions Saïda Guellati 19 Mar 2021 Particle interactions in quantum gases Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 19 Mar 2021 11:00 - 12: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 09:30 - 11:00 Van der Waals interaction and low-energy universality Jean Dalibard 26 Mar 2021 Particle interactions in quantum gases Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 26 Mar 2021 09:30 - 11:00 Seminar 11:00 - 12:20 Cold Molecules: a Chemistry Kitchen for Physicists Olivier Dulieu 26 Mar 2021 Particle interactions in quantum gases Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 26 Mar 2021 11:00 - 12:20 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 2 Apr 2021 Lecture 09:30 - 11:00 Diffusion resonances Jean Dalibard 02 Apr 2021 Particle interactions in quantum gases Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 02 Apr 2021 09:30 - 11:00 Seminar 11:00 - 12:30 Open Quantum Many-Body Systems Cristiano Ciuti 02 Apr 2021 Particle interactions in quantum gases Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 02 Apr 2021 11:00 - 12:30 Pagination First page Previous page … Page 76 Page 77 Page 78 Page 79 Current page 80 Page 81 Page 82 Page 83 Page 84 … Next page Last page
Seminar 15:45 - 16:45 Theories of Stem Cell Renewal Ben Simons 01 Mar 2021 Mechanics and tissue growth Salle 5, Site Marcelin Berthelot 01 Mar 2021 15:45 - 16:45
Lecture 09:30 - 11:00 Orthonormal wavelet bases Stéphane Mallat 03 Mar 2021 Sparse representations Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 03 Mar 2021 09:30 - 11:00
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
Lecture 09:30 - 11:00 The interaction potential between two atoms Jean Dalibard 05 Mar 2021 Particle interactions in quantum gases Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 05 Mar 2021 09:30 - 11:00
Seminar 11:00 - 12:30 Rotating ring quantum gases : from elementary current to supersonic flow Hélène Perrin 05 Mar 2021 Particle interactions in quantum gases Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 05 Mar 2021 11:00 - 12:30
Lecture 14:00 - 15:30 Hydrodynamics and rheology of fabrics Jean-François Joanny 08 Mar 2021 Mechanics and tissue growth Salle 5, Site Marcelin Berthelot 08 Mar 2021 14:00 - 15:30
Lecture 14:00 - 15:00 Acoustic techniques for battery diagnosis/monitoring Jean-Marie Tarascon 08 Mar 2021 Diagnostic and self-repair techniques for more efficient batteries Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 08 Mar 2021 14:00 - 15:00
Seminar 15:00 - 16:00 Fiber optic infrared detection Jean-Luc Adam 08 Mar 2021 Diagnostic and self-repair techniques for more efficient batteries Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 08 Mar 2021 15:00 - 16:00
Seminar 15:45 - 16:45 How Multicellular Systems Discriminate between Osmotic Pressure and Osmotic Stress Giovanni Cappello 08 Mar 2021 Mechanics and tissue growth Salle 5, Site Marcelin Berthelot 08 Mar 2021 15:45 - 16:45
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 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 09:30 - 11:00 Elements of diffusion theory Jean Dalibard 12 Mar 2021 Particle interactions in quantum gases Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 12 Mar 2021 09:30 - 11:00
Seminar 11:00 - 12:30 Detecting Spin Fluorescence with a Microwave Photon Counter Patrice Bertet 12 Mar 2021 Particle interactions in quantum gases Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 12 Mar 2021 11:00 - 12:30
Lecture 14:00 - 15:30 Active tissue behavior Jean-François Joanny 15 Mar 2021 Mechanics and tissue growth Salle 5, Site Marcelin Berthelot 15 Mar 2021 14:00 - 15:30
Lecture 14:00 - 15:00 Other sensors and introduction to self-repairing batteries Jean-Marie Tarascon 15 Mar 2021 Diagnostic and self-repair techniques for more efficient batteries Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 15 Mar 2021 14:00 - 15:00
Seminar 15:00 - 16:00 The Zn/MnO2 system : exemplary chemistry and history Dominique Larcher 15 Mar 2021 Diagnostic and self-repair techniques for more efficient batteries Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 15 Mar 2021 15:00 - 16:00
Seminar 15:45 - 16:45 Cell and Tissue Mechanics in Zebrafish Embryogenesis Carl Philip Heisenberg 15 Mar 2021 Mechanics and tissue growth Salle 5, Site Marcelin Berthelot 15 Mar 2021 15:45 - 16:45
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 09:30 - 11:00 Low-energy collisions Jean Dalibard 19 Mar 2021 Particle interactions in quantum gases Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 19 Mar 2021 09:30 - 11:00
Seminar 11:00 - 12:30 Measuring the fine structure constant to refine Standard Model predictions Saïda Guellati 19 Mar 2021 Particle interactions in quantum gases Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 19 Mar 2021 11:00 - 12: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 09:30 - 11:00 Van der Waals interaction and low-energy universality Jean Dalibard 26 Mar 2021 Particle interactions in quantum gases Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 26 Mar 2021 09:30 - 11:00
Seminar 11:00 - 12:20 Cold Molecules: a Chemistry Kitchen for Physicists Olivier Dulieu 26 Mar 2021 Particle interactions in quantum gases Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 26 Mar 2021 11:00 - 12:20
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
Lecture 09:30 - 11:00 Diffusion resonances Jean Dalibard 02 Apr 2021 Particle interactions in quantum gases Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 02 Apr 2021 09:30 - 11:00
Seminar 11:00 - 12:30 Open Quantum Many-Body Systems Cristiano Ciuti 02 Apr 2021 Particle interactions in quantum gases Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot 02 Apr 2021 11:00 - 12:30