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 656 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 (656) Physics and chemistry (597) Earth and space sciences (170) Life sciences (393) History and archeology (1087) Letters, arts, language, philosophy (748) Social sciences (392) Event type Event type Lecture (909) (-) Seminar (656) Opening lecture (22) Guest lecturer (190) Special events (4) Active filters Mathematics and computer sciences Seminar Sort by from the oldest to the newest from the oldest to the newest from the newest to the oldest 12 Feb 2020 Seminar 11:00 - 12:30 Deep neural networks for music audio signals Geoffroy Peeters 12 Feb 2020 Multiscale models and convolutional neural networks Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 12 Feb 2020 11:00 - 12:30 13 Feb 2020 Seminar 09:30 - 10:30 What's in a Name? Representing variables and their relationships Xavier Leroy 13 Feb 2020 Mechanized semantics : when the machine reasons about its languages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 13 Feb 2020 09:30 - 10:30 26 Feb 2020 Seminar 11:00 - 12:30 Artificial intelligence and natural intelligence: towards bio-inspired AI Simon Thorpe 26 Feb 2020 Multiscale models and convolutional neural networks Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 26 Feb 2020 11:00 - 12:30 4 Mar 2020 Seminar 11:00 - 12:30 Deep learning applications for histology Pierre Courtiol 04 Mar 2020 Multiscale models and convolutional neural networks Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 04 Mar 2020 11:00 - 12:30 6 Mar 2020 Seminar 11:15 - 12:45 Interacting Particle Systems: fast algorithms for classical and quantum N-body problems and non-convex optimization Shi Jin 06 Mar 2020 Applied mathematics Salle 5, Site Marcelin Berthelot 06 Mar 2020 11:15 - 12:45 11 Mar 2020 Seminar 11:00 - 12:30 Physiological models of hearing Shihab Shamma 11 Mar 2020 Multiscale models and convolutional neural networks Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 11 Mar 2020 11:00 - 12:30 11 Mar 2021 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 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 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 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 7 Apr 2021 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 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 14 Apr 2021 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 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 5 May 2021 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 12 May 2021 Seminar 11:30 - 12:30 The hidden subgroup problem Miklos Santha 12 May 2021 Quantum algorithms 12 May 2021 11:30 - 12:30 19 May 2021 Seminar 11:30 - 12:30 A Unified Framework for Quantum Walk Search Stacey Jeffery 19 May 2021 Quantum algorithms 19 May 2021 11:30 - 12:30 26 May 2021 Seminar 11:30 - 12:30 Quantum Machine Learning Iordanis Kerenidis 26 May 2021 Quantum algorithms Salle 5, Site Marcelin Berthelot 26 May 2021 11:30 - 12:30 2 Jun 2021 Seminar 11:30 - 12:30 Quantum supremacy : where do we stand today ? André Chailloux 02 Jun 2021 Quantum algorithms Salle 5, Site Marcelin Berthelot 02 Jun 2021 11:30 - 12:30 9 Jun 2021 Seminar 11:30 - 12:30 Quantum Computing as a Service: Secure and Verifiable Multi-Tenant Quantum Data Centre Elham Kashefi 09 Jun 2021 Quantum algorithms Salle 5, Site Marcelin Berthelot 09 Jun 2021 11:30 - 12:30 11 Oct 2021 Seminar 14:00 - 15:00 Why believe in a mathematical statement for which there is no proof ? (I) Timothy Gowers 11 Oct 2021 The philosophy of mathematical practice Salle 5, Site Marcelin Berthelot 11 Oct 2021 14:00 - 15:00 18 Oct 2021 Seminar 14:00 - 15:00 Why believe in a mathematical statement for which there is no proof ? (II) Timothy Gowers 18 Oct 2021 The philosophy of mathematical practice Salle 5, Site Marcelin Berthelot 18 Oct 2021 14:00 - 15:00 25 Oct 2021 Seminar 14:00 - 15:00 The role of diagrams in mathematical practice Valeria Giardino et Frédéric Patras 25 Oct 2021 The philosophy of mathematical practice Salle 5, Site Marcelin Berthelot 25 Oct 2021 14:00 - 15:00 8 Nov 2021 Seminar 14:00 - 15:00 What can be said about the mechanization of mathematics? Michael Harris 08 Nov 2021 The philosophy of mathematical practice Salle 5, Site Marcelin Berthelot 08 Nov 2021 14:00 - 15:00 12 Nov 2021 Seminar 11:15 - 12:30 Random matrices and PDEs Pierre-Louis Lions 12 Nov 2021 Applied mathematics Salle 5, Site Marcelin Berthelot 12 Nov 2021 11:15 - 12:30 15 Nov 2021 Seminar 14:00 - 15:00 What is Proof? Kevin Buzzard 15 Nov 2021 The philosophy of mathematical practice Salle 5, Site Marcelin Berthelot 15 Nov 2021 14:00 - 15:00 19 Nov 2021 Seminar 11:15 - 12:30 Not recorded Monge-Kantorovich distance for PDEs and coupling method Benoît Perthame 19 Nov 2021 Applied mathematics Salle 5, Site Marcelin Berthelot 19 Nov 2021 11:15 - 12:30 22 Nov 2021 Seminar 14:00 - 15:00 Can we think without concepts in mathematics ? (or : When mathematics struggles with its concepts) Yves André 22 Nov 2021 The philosophy of mathematical practice Salle 5, Site Marcelin Berthelot 22 Nov 2021 14:00 - 15:00 26 Nov 2021 Seminar 11:15 - 12:30 Not recorded On a finitely exchangeable version of Hewitt and Savage's theorem Guillaume Carlier 26 Nov 2021 Applied mathematics Salle 5, Site Marcelin Berthelot 26 Nov 2021 11:15 - 12:30 3 Dec 2021 Seminar 11:15 - 12:30 Not recorded Radiative transfer in a fluid : mathematical analysis and numerical simulations François Golse 03 Dec 2021 Applied mathematics Salle 5, Site Marcelin Berthelot 03 Dec 2021 11:15 - 12:30 Pagination First page Previous page … Page 12 Page 13 Page 14 Page 15 Current page 16 Page 17 Page 18 Page 19 Page 20 … Next page Last page
Seminar 11:00 - 12:30 Deep neural networks for music audio signals Geoffroy Peeters 12 Feb 2020 Multiscale models and convolutional neural networks Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 12 Feb 2020 11:00 - 12:30
Seminar 09:30 - 10:30 What's in a Name? Representing variables and their relationships Xavier Leroy 13 Feb 2020 Mechanized semantics : when the machine reasons about its languages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 13 Feb 2020 09:30 - 10:30
Seminar 11:00 - 12:30 Artificial intelligence and natural intelligence: towards bio-inspired AI Simon Thorpe 26 Feb 2020 Multiscale models and convolutional neural networks Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 26 Feb 2020 11:00 - 12:30
Seminar 11:00 - 12:30 Deep learning applications for histology Pierre Courtiol 04 Mar 2020 Multiscale models and convolutional neural networks Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 04 Mar 2020 11:00 - 12:30
Seminar 11:15 - 12:45 Interacting Particle Systems: fast algorithms for classical and quantum N-body problems and non-convex optimization Shi Jin 06 Mar 2020 Applied mathematics Salle 5, Site Marcelin Berthelot 06 Mar 2020 11:15 - 12:45
Seminar 11:00 - 12:30 Physiological models of hearing Shihab Shamma 11 Mar 2020 Multiscale models and convolutional neural networks Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 11 Mar 2020 11:00 - 12:30
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
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
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
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
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
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
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
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
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
Seminar 11:30 - 12:30 The hidden subgroup problem Miklos Santha 12 May 2021 Quantum algorithms 12 May 2021 11:30 - 12:30
Seminar 11:30 - 12:30 A Unified Framework for Quantum Walk Search Stacey Jeffery 19 May 2021 Quantum algorithms 19 May 2021 11:30 - 12:30
Seminar 11:30 - 12:30 Quantum Machine Learning Iordanis Kerenidis 26 May 2021 Quantum algorithms Salle 5, Site Marcelin Berthelot 26 May 2021 11:30 - 12:30
Seminar 11:30 - 12:30 Quantum supremacy : where do we stand today ? André Chailloux 02 Jun 2021 Quantum algorithms Salle 5, Site Marcelin Berthelot 02 Jun 2021 11:30 - 12:30
Seminar 11:30 - 12:30 Quantum Computing as a Service: Secure and Verifiable Multi-Tenant Quantum Data Centre Elham Kashefi 09 Jun 2021 Quantum algorithms Salle 5, Site Marcelin Berthelot 09 Jun 2021 11:30 - 12:30
Seminar 14:00 - 15:00 Why believe in a mathematical statement for which there is no proof ? (I) Timothy Gowers 11 Oct 2021 The philosophy of mathematical practice Salle 5, Site Marcelin Berthelot 11 Oct 2021 14:00 - 15:00
Seminar 14:00 - 15:00 Why believe in a mathematical statement for which there is no proof ? (II) Timothy Gowers 18 Oct 2021 The philosophy of mathematical practice Salle 5, Site Marcelin Berthelot 18 Oct 2021 14:00 - 15:00
Seminar 14:00 - 15:00 The role of diagrams in mathematical practice Valeria Giardino et Frédéric Patras 25 Oct 2021 The philosophy of mathematical practice Salle 5, Site Marcelin Berthelot 25 Oct 2021 14:00 - 15:00
Seminar 14:00 - 15:00 What can be said about the mechanization of mathematics? Michael Harris 08 Nov 2021 The philosophy of mathematical practice Salle 5, Site Marcelin Berthelot 08 Nov 2021 14:00 - 15:00
Seminar 11:15 - 12:30 Random matrices and PDEs Pierre-Louis Lions 12 Nov 2021 Applied mathematics Salle 5, Site Marcelin Berthelot 12 Nov 2021 11:15 - 12:30
Seminar 14:00 - 15:00 What is Proof? Kevin Buzzard 15 Nov 2021 The philosophy of mathematical practice Salle 5, Site Marcelin Berthelot 15 Nov 2021 14:00 - 15:00
Seminar 11:15 - 12:30 Not recorded Monge-Kantorovich distance for PDEs and coupling method Benoît Perthame 19 Nov 2021 Applied mathematics Salle 5, Site Marcelin Berthelot 19 Nov 2021 11:15 - 12:30
Seminar 14:00 - 15:00 Can we think without concepts in mathematics ? (or : When mathematics struggles with its concepts) Yves André 22 Nov 2021 The philosophy of mathematical practice Salle 5, Site Marcelin Berthelot 22 Nov 2021 14:00 - 15:00
Seminar 11:15 - 12:30 Not recorded On a finitely exchangeable version of Hewitt and Savage's theorem Guillaume Carlier 26 Nov 2021 Applied mathematics Salle 5, Site Marcelin Berthelot 26 Nov 2021 11:15 - 12:30
Seminar 11:15 - 12:30 Not recorded Radiative transfer in a fluid : mathematical analysis and numerical simulations François Golse 03 Dec 2021 Applied mathematics Salle 5, Site Marcelin Berthelot 03 Dec 2021 11:15 - 12:30