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 2432 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 (1539) Event type Event type Lecture (1246) Seminar (829) Symposium (77) Opening lecture (43) Guest lecturer (223) Special events (14) Active filters Mathematics and computer sciences Earth and space 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 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 15:00 - 16:30 Changes in sea level and ice caps over the Holocene Edouard Bard 05 Mar 2021 Extreme climates and analogues : the Holocene optimum (continued) Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 05 Mar 2021 15:00 - 16:30 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 15:00 - 16:30 Changes in sea level and ice caps during the Holocene : some singular events Edouard Bard 12 Mar 2021 Extreme climates and analogues : the Holocene optimum (continued) Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 12 Mar 2021 15:00 - 16: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 15:00 - 16:30 Variations in precipitation during the Holocene and African wet periods Edouard Bard 19 Mar 2021 Extreme climates and analogues : the Holocene optimum (continued) Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 19 Mar 2021 15:00 - 16: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 15:00 - 16:30 Modeling the Holocene wet period : impacts on human populations Edouard Bard 26 Mar 2021 Extreme climates and analogues : the Holocene optimum (continued) Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 26 Mar 2021 15:00 - 16: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 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 15:00 - 16:30 The Holocene optimum and its human consequences Edouard Bard 02 Apr 2021 Extreme climates and analogues : the Holocene optimum (continued) Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 02 Apr 2021 15:00 - 16:30 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 8 Apr 2021 Lecture 09:30 - 11:00 Weakly coherent shared memory logic Xavier Leroy 08 Apr 2021 Program logic : when the machine reasons about its software Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 08 Apr 2021 09:30 - 11:00 Seminar 11:15 - 12:15 Custom protocols in separation logic : ghost resources and invariants in Iris logic Jacques-Henri Jourdan 08 Apr 2021 Program logic : when the machine reasons about its software Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 08 Apr 2021 11:15 - 12:15 9 Apr 2021 Lecture 14:00 - 16:00 Moduli space of fibers and the affine Grassmannian Bảo Châu Ngô 09 Apr 2021 Duality of Hitchin fibrations and endoscopy 09 Apr 2021 14:00 - 16:00 14 Apr 2021 Lecture 10:00 - 11:30 Quantum cryptography and communication : Bell's inequalities, coin tosses, pawning, certification Frédéric Magniez 14 Apr 2021 Quantum algorithms Salle 5, Site Marcelin Berthelot 14 Apr 2021 10:00 - 11:30 Seminar 11:30 - 12:30 Certifying random number generation with quantum technology Thomas Vidick 14 Apr 2021 Quantum algorithms 14 Apr 2021 11:30 - 12:30 15 Apr 2021 Lecture 09:30 - 11:00 Logics for functional and higher-order languages Xavier Leroy 15 Apr 2021 Program logic : when the machine reasons about its software Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 15 Apr 2021 09:30 - 11:00 Seminar 11:15 - 12:15 Gillian: a Multi-language Platform for Compositional Symbolic Analysis Philippa Gardner 15 Apr 2021 Program logic : when the machine reasons about its software Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 15 Apr 2021 11:15 - 12:15 16 Apr 2021 Lecture 14:00 - 16:00 Hitchin fibration Bảo Châu Ngô 16 Apr 2021 Duality of Hitchin fibrations and endoscopy 16 Apr 2021 14:00 - 16:00 5 May 2021 Lecture 10:00 - 11:30 Quantum circuits, first algorithms : universal gates, Deutsch-Jozsa and Bernstein-Vazirani algorithms, superiority of quantum algorithms Frédéric Magniez 05 May 2021 Quantum algorithms Salle 5, Site Marcelin Berthelot 05 May 2021 10:00 - 11:30 Seminar 11:30 - 12:30 Graphical languages for programming and reasoning in quantum computing Simon Perdrix 05 May 2021 Quantum algorithms 05 May 2021 11:30 - 12:30 Pagination First page Previous page … Page 57 Page 58 Page 59 Page 60 Current page 61 Page 62 Page 63 Page 64 Page 65 … Next page Last page
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 15:00 - 16:30 Changes in sea level and ice caps over the Holocene Edouard Bard 05 Mar 2021 Extreme climates and analogues : the Holocene optimum (continued) Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 05 Mar 2021 15:00 - 16:30
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 15:00 - 16:30 Changes in sea level and ice caps during the Holocene : some singular events Edouard Bard 12 Mar 2021 Extreme climates and analogues : the Holocene optimum (continued) Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 12 Mar 2021 15:00 - 16: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 15:00 - 16:30 Variations in precipitation during the Holocene and African wet periods Edouard Bard 19 Mar 2021 Extreme climates and analogues : the Holocene optimum (continued) Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 19 Mar 2021 15:00 - 16: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 15:00 - 16:30 Modeling the Holocene wet period : impacts on human populations Edouard Bard 26 Mar 2021 Extreme climates and analogues : the Holocene optimum (continued) Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 26 Mar 2021 15:00 - 16: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 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 15:00 - 16:30 The Holocene optimum and its human consequences Edouard Bard 02 Apr 2021 Extreme climates and analogues : the Holocene optimum (continued) Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 02 Apr 2021 15:00 - 16:30
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
Lecture 09:30 - 11:00 Weakly coherent shared memory logic Xavier Leroy 08 Apr 2021 Program logic : when the machine reasons about its software Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 08 Apr 2021 09:30 - 11:00
Seminar 11:15 - 12:15 Custom protocols in separation logic : ghost resources and invariants in Iris logic Jacques-Henri Jourdan 08 Apr 2021 Program logic : when the machine reasons about its software Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 08 Apr 2021 11:15 - 12:15
Lecture 14:00 - 16:00 Moduli space of fibers and the affine Grassmannian Bảo Châu Ngô 09 Apr 2021 Duality of Hitchin fibrations and endoscopy 09 Apr 2021 14:00 - 16:00
Lecture 10:00 - 11:30 Quantum cryptography and communication : Bell's inequalities, coin tosses, pawning, certification Frédéric Magniez 14 Apr 2021 Quantum algorithms Salle 5, Site Marcelin Berthelot 14 Apr 2021 10:00 - 11:30
Seminar 11:30 - 12:30 Certifying random number generation with quantum technology Thomas Vidick 14 Apr 2021 Quantum algorithms 14 Apr 2021 11:30 - 12:30
Lecture 09:30 - 11:00 Logics for functional and higher-order languages Xavier Leroy 15 Apr 2021 Program logic : when the machine reasons about its software Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 15 Apr 2021 09:30 - 11:00
Seminar 11:15 - 12:15 Gillian: a Multi-language Platform for Compositional Symbolic Analysis Philippa Gardner 15 Apr 2021 Program logic : when the machine reasons about its software Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 15 Apr 2021 11:15 - 12:15
Lecture 14:00 - 16:00 Hitchin fibration Bảo Châu Ngô 16 Apr 2021 Duality of Hitchin fibrations and endoscopy 16 Apr 2021 14:00 - 16:00
Lecture 10:00 - 11:30 Quantum circuits, first algorithms : universal gates, Deutsch-Jozsa and Bernstein-Vazirani algorithms, superiority of quantum algorithms Frédéric Magniez 05 May 2021 Quantum algorithms Salle 5, Site Marcelin Berthelot 05 May 2021 10:00 - 11:30
Seminar 11:30 - 12:30 Graphical languages for programming and reasoning in quantum computing Simon Perdrix 05 May 2021 Quantum algorithms 05 May 2021 11:30 - 12:30