Share Facebook LinkedIn Bluesky Threads Copy url Search results Search 23527 results Filters Content type Content type (-) Lessons (23175) News (1616) People (1331) (-) Chair (352) Editions (344) Page (229) Research (27) Library (14) Annual Chair (12) Award (6) Active filters Lessons Chair Series Mechanized semantics : when the machine reasons about its languages Xavier Leroy, chair Software Science Seminar 12 Dec 2019 → 13 Feb 2020 Event Maurizio Ribera Synthesis and Discussion Symposium 7 May 2021 17:15 - 18:30 Event Mike Harfoot General Ecosystem Models Covering both Land and Sea Symposium 7 May 2021 16:45 - 17:15 Event Sergio Vallina, Xabier Irigoien, Gérard Lacroix et Fabien Lombard Ecosystem Structure-Function in Marine and Aquatic Ecosystems Symposium 7 May 2021 15:30 - 16:45 Event Michel Loreau, Fernando Maestre, Nico Eisenhauer et Régis Ferriere Ecosystem Structure-Function in Terrestrial Ecosystems Symposium 7 May 2021 14:00 - 15:15 Event Andy Knoll et Hélène Morlon Ecosystem Structure-Function in the Deep Past Symposium 7 May 2021 13:15 - 14:00 Series Understanding the written culture of the Ancients : the categories " documentaire " and " littéraire " in papyrology and their limits Jean-Luc Fournet, chair Written Culture in Late Antiquity and Byzantine Papyrology Symposium Organizers: Jean-Luc Fournet and Antonio Ricciardetto. Papyrology is defined as the science of texts written on transportable media, as opposed to epigraphy. It has organized itself into two branches corresponding to the two fundamental categories of … 05 Dec 2019 → 06 Dec 2019 Series Ultima verba Philippe Sansonetti, chair Microbiology and infectious diseases Seminar 04 Dec 2019 → 16 Mar 2020 Series Ultima verba Philippe Sansonetti, chair Microbiology and infectious diseases Lecture I called my lecture for the academic year 2019-2020 " Ultima verba ", as it marked the end of the Microbiology and Infectious Diseases Chair created in 2008. On January 22 2020, I gave my closing lecture entitled " A world without microbes ? " and … 04 Dec 2019 → 22 Jan 2020 Series Integration : findings and debates François Héran, chair Migrations and Societies Seminar 04 Dec 2019 → 04 Mar 2020 Series The era of the reionization of the Universe Françoise Combes, chair Galaxies and Cosmology Seminar The Universe begins in a gigantic explosion, the Big Bang. Energy density and temperature are enormous, and in the rapid expansion that follows, energy dilutes and temperature decreases. The Universe is initially a plasma of charged particles, essentially … 02 Dec 2019 → 03 Feb 2020 Series The era of the reionization of the Universe Françoise Combes, chair Galaxies and Cosmology Lecture The Universe begins with a gigantic explosion, the Big Bang. Energy density and temperature are enormous, and in the rapid expansion that follows, energy dilutes and temperature decreases. At first, the Universe is a plasma of charged particles, … 02 Dec 2019 → 03 Feb 2020 Event Daniel Szilagyi A Gradient Descent Perspective on Quantum Linear System Solvers Symposium Abstract We revisit the topic of quantum linear system solvers. We do so from the perspective of convex optimization and in particular gradient descent-type algorithms. We connect previous work of Childs, Kothari, and Somma to gradient descent on the … 18 Jun 2021 11:00 - 11:40 Event Simon Apers Quantum Complexity of Minimum Cut Symposium Abstract A minimum cut in a graph is a set of edges that disconnects the graph and has minimum total weight. Finding such a minimum cut is a canonical problem in combinatorial optimization that has been studied since at least the 1960s, and which is still … 18 Jun 2021 10:00 - 11:00 Series Anish Kapoor's major lecture Major conferences Special events 23 Jun 2016 Series Mechanized semantics : when the machine reasons about its languages Xavier Leroy, chair Software Science Lecture " What exactly does this program do ? " To answer this question with the precision of mathematics, we need a formal semantics of the language in which this program is written. Several approaches to formal semantics are well established today : … 28 Nov 2019 → 13 Feb 2020 Event Thomas Römer The rewriting of history and the end of history : Ezra-Nehemiah, Chronicles, Daniel Lecture Documents and media Download support … 15 Apr 2021 15:00 - 16:00 Series Biblical figures in the Koran François Déroche, chair History of the Koran. Text and transmission Lecture As we know, the Koran contains numerous passages in which figures from the Old and New Testaments are mentioned. These are not merely allusions, as the Koranic text contains so many, but stories - usually brief - in which this material is employed in … 21 Nov 2019 → 30 Jan 2020 Series Crises in the East : the origins of authoritarianism from 1949 onwards Henry Laurens, chair Contemporary History of the Arab World Lecture Taking up a two centuries-long analysis of crises in the East, this year's lecture begins with an essential epistemological clarification. The nature of the interrelations between East and West - how the two interact on the terrain of the Middle East - … 20 Nov 2019 → 08 Jan 2020 Series Arab political culture Henry Laurens, chair Contemporary History of the Arab World Seminar This year's seminars on Arab political culture feature encounters with diplomats as players on the Middle East political scene. This cycle on diplomatic action begins with Leïla Shahid, Delegate General of the Palestinian Authority in France from 1994 to … 20 Nov 2019 → 08 Jan 2020 Series Applied mathematics Pierre-Louis Lions, chair Partial Differential Equations and Applications Seminar 15 Nov 2019 → 06 Mar 2020 Series Growth drivers, constraints and regulations Thomas Lecuit, chair Dynamics of Living Systems Lecture 12 Nov 2019 → 17 Dec 2019 Series Archana Singh-Manoux Philippe Sansonetti, chair Microbiology and infectious diseases Guest lecturer 25 Oct 2019 Series Rémy Slama Philippe Sansonetti, chair Microbiology and infectious diseases Guest lecturer 25 Oct 2019 Pagination First page Previous page … Page 257 Page 258 Page 259 Page 260 Current page 261 Page 262 Page 263 Page 264 Page 265 … Next page Last page
Series Mechanized semantics : when the machine reasons about its languages Xavier Leroy, chair Software Science Seminar 12 Dec 2019 → 13 Feb 2020
Event Mike Harfoot General Ecosystem Models Covering both Land and Sea Symposium 7 May 2021 16:45 - 17:15
Event Sergio Vallina, Xabier Irigoien, Gérard Lacroix et Fabien Lombard Ecosystem Structure-Function in Marine and Aquatic Ecosystems Symposium 7 May 2021 15:30 - 16:45
Event Michel Loreau, Fernando Maestre, Nico Eisenhauer et Régis Ferriere Ecosystem Structure-Function in Terrestrial Ecosystems Symposium 7 May 2021 14:00 - 15:15
Event Andy Knoll et Hélène Morlon Ecosystem Structure-Function in the Deep Past Symposium 7 May 2021 13:15 - 14:00
Series Understanding the written culture of the Ancients : the categories " documentaire " and " littéraire " in papyrology and their limits Jean-Luc Fournet, chair Written Culture in Late Antiquity and Byzantine Papyrology Symposium Organizers: Jean-Luc Fournet and Antonio Ricciardetto. Papyrology is defined as the science of texts written on transportable media, as opposed to epigraphy. It has organized itself into two branches corresponding to the two fundamental categories of … 05 Dec 2019 → 06 Dec 2019
Series Ultima verba Philippe Sansonetti, chair Microbiology and infectious diseases Seminar 04 Dec 2019 → 16 Mar 2020
Series Ultima verba Philippe Sansonetti, chair Microbiology and infectious diseases Lecture I called my lecture for the academic year 2019-2020 " Ultima verba ", as it marked the end of the Microbiology and Infectious Diseases Chair created in 2008. On January 22 2020, I gave my closing lecture entitled " A world without microbes ? " and … 04 Dec 2019 → 22 Jan 2020
Series Integration : findings and debates François Héran, chair Migrations and Societies Seminar 04 Dec 2019 → 04 Mar 2020
Series The era of the reionization of the Universe Françoise Combes, chair Galaxies and Cosmology Seminar The Universe begins in a gigantic explosion, the Big Bang. Energy density and temperature are enormous, and in the rapid expansion that follows, energy dilutes and temperature decreases. The Universe is initially a plasma of charged particles, essentially … 02 Dec 2019 → 03 Feb 2020
Series The era of the reionization of the Universe Françoise Combes, chair Galaxies and Cosmology Lecture The Universe begins with a gigantic explosion, the Big Bang. Energy density and temperature are enormous, and in the rapid expansion that follows, energy dilutes and temperature decreases. At first, the Universe is a plasma of charged particles, … 02 Dec 2019 → 03 Feb 2020
Event Daniel Szilagyi A Gradient Descent Perspective on Quantum Linear System Solvers Symposium Abstract We revisit the topic of quantum linear system solvers. We do so from the perspective of convex optimization and in particular gradient descent-type algorithms. We connect previous work of Childs, Kothari, and Somma to gradient descent on the … 18 Jun 2021 11:00 - 11:40
Event Simon Apers Quantum Complexity of Minimum Cut Symposium Abstract A minimum cut in a graph is a set of edges that disconnects the graph and has minimum total weight. Finding such a minimum cut is a canonical problem in combinatorial optimization that has been studied since at least the 1960s, and which is still … 18 Jun 2021 10:00 - 11:00
Series Mechanized semantics : when the machine reasons about its languages Xavier Leroy, chair Software Science Lecture " What exactly does this program do ? " To answer this question with the precision of mathematics, we need a formal semantics of the language in which this program is written. Several approaches to formal semantics are well established today : … 28 Nov 2019 → 13 Feb 2020
Event Thomas Römer The rewriting of history and the end of history : Ezra-Nehemiah, Chronicles, Daniel Lecture Documents and media Download support … 15 Apr 2021 15:00 - 16:00
Series Biblical figures in the Koran François Déroche, chair History of the Koran. Text and transmission Lecture As we know, the Koran contains numerous passages in which figures from the Old and New Testaments are mentioned. These are not merely allusions, as the Koranic text contains so many, but stories - usually brief - in which this material is employed in … 21 Nov 2019 → 30 Jan 2020
Series Crises in the East : the origins of authoritarianism from 1949 onwards Henry Laurens, chair Contemporary History of the Arab World Lecture Taking up a two centuries-long analysis of crises in the East, this year's lecture begins with an essential epistemological clarification. The nature of the interrelations between East and West - how the two interact on the terrain of the Middle East - … 20 Nov 2019 → 08 Jan 2020
Series Arab political culture Henry Laurens, chair Contemporary History of the Arab World Seminar This year's seminars on Arab political culture feature encounters with diplomats as players on the Middle East political scene. This cycle on diplomatic action begins with Leïla Shahid, Delegate General of the Palestinian Authority in France from 1994 to … 20 Nov 2019 → 08 Jan 2020
Series Applied mathematics Pierre-Louis Lions, chair Partial Differential Equations and Applications Seminar 15 Nov 2019 → 06 Mar 2020
Series Growth drivers, constraints and regulations Thomas Lecuit, chair Dynamics of Living Systems Lecture 12 Nov 2019 → 17 Dec 2019
Series Archana Singh-Manoux Philippe Sansonetti, chair Microbiology and infectious diseases Guest lecturer 25 Oct 2019
Series Rémy Slama Philippe Sansonetti, chair Microbiology and infectious diseases Guest lecturer 25 Oct 2019
