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 1781 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 (3800) Letters, arts, language, philosophy (2411) Social sciences (1355) Event type Event type Lecture (909) Seminar (656) Opening lecture (22) Guest lecturer (190) Special events (4) Active filters Mathematics and computer sciences Sort by from the oldest to the newest from the oldest to the newest from the newest to the oldest 8 Feb 2021 Lecture 10:00 - 12:00 Analysis : the discrete Fourier transform and its applications Timothy Gowers 08 Feb 2021 Combinatorics tools 08 Feb 2021 10:00 - 12:00 10 Feb 2021 Lecture 09:30 - 11:00 Wavelets and sampling Stéphane Mallat 10 Feb 2021 Sparse representations Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 10 Feb 2021 09:30 - 11:00 15 Feb 2021 Lecture 10:00 - 12:00 Entropy : how to use it to obtain bounds on the size of a set Timothy Gowers 15 Feb 2021 Combinatorics tools 15 Feb 2021 10:00 - 12:00 17 Feb 2021 Lecture 09:30 - 11:00 Multi-resolution Stéphane Mallat 17 Feb 2021 Sparse representations Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 17 Feb 2021 09:30 - 11:00 22 Feb 2021 Lecture 10:00 - 12:00 Algebra (I) : applications of linear algebra Timothy Gowers 22 Feb 2021 Combinatorics tools 22 Feb 2021 10:00 - 12:00 1 Mar 2021 Lecture 10:00 - 12:00 Algebra (II) : the polynomial method Timothy Gowers 01 Mar 2021 Combinatorics tools 01 Mar 2021 10:00 - 12:00 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 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 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 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 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 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 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 41 Page 42 Page 43 Page 44 Current page 45 Page 46 Page 47 Page 48 Page 49 … Next page Last page
Lecture 10:00 - 12:00 Analysis : the discrete Fourier transform and its applications Timothy Gowers 08 Feb 2021 Combinatorics tools 08 Feb 2021 10:00 - 12:00
Lecture 09:30 - 11:00 Wavelets and sampling Stéphane Mallat 10 Feb 2021 Sparse representations Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 10 Feb 2021 09:30 - 11:00
Lecture 10:00 - 12:00 Entropy : how to use it to obtain bounds on the size of a set Timothy Gowers 15 Feb 2021 Combinatorics tools 15 Feb 2021 10:00 - 12:00
Lecture 09:30 - 11:00 Multi-resolution Stéphane Mallat 17 Feb 2021 Sparse representations Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 17 Feb 2021 09:30 - 11:00
Lecture 10:00 - 12:00 Algebra (I) : applications of linear algebra Timothy Gowers 22 Feb 2021 Combinatorics tools 22 Feb 2021 10:00 - 12:00
Lecture 10:00 - 12:00 Algebra (II) : the polynomial method Timothy Gowers 01 Mar 2021 Combinatorics tools 01 Mar 2021 10:00 - 12:00
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 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 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 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 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 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
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