Share Facebook LinkedIn Bluesky Threads Copy url Search results Search 25847 results Filters Content type Content type (-) Lessons (24495) News (1671) (-) People (1352) Chair (359) Editions (351) Page (230) Research (27) Library (14) Annual Chair (12) Award (6) Active filters Lessons People Event François Déroche Biblical figures in the Koran (6) Lecture 16 Jan 2020 14:00 - 15:00 Event Arthur Charguéraud Coq separation logic : theory and practice Seminar Abstract The fourth seminar delved into the mechanization of a separation logic, a subject that the fourth lecture had only just touched upon. The speaker showed how to build such a logic in Coq from a natural semantics for a small language of the … 16 Jan 2020 11:15 - 12:15 Event Xavier Leroy Abstract art : static analysis through abstract interpretation Lecture Abstract Abstract interpretation is a very general formalism introduced by Patrick Cousot and Radhia Cousot in 1977 to describe and implement static analyses that are more precise than those achievable by data flow analysis. Beyond optimizations in … 16 Jan 2020 09:30 - 11:00 Event Françoise Barré-Sinoussi An AIDS vaccine : dream or (soon) reality ? Seminar The seminar laid the foundations for a possible HIV vaccine, and identified a number of encouraging avenues. An HIV vaccine remains a realistic objective, and its place in a policy to eliminate the pandemic remains unchallenged. Documents and media … 15 Jan 2020 17:30 - 18:30 Event Philippe Sansonetti A world without vaccines ? Lecture The aim of this lesson was to objectively analyze the role of vaccines in infectious disease control at a time when vaccine mistrust threatens to undermine the global public health model inherited from the 20th century, of which vaccines are a major … 15 Jan 2020 16:00 - 17:30 Event Carlo Ossola " Vita nova " from Dante to Roland Barthes (1) Lecture 15 Jan 2020 17:00 - 18:00 Event Jean-Christophe Cavallin Du feu style. Poetics of the postscript in the last Chateaubriand Seminar 14 Jan 2020 17:45 - 18:45 Event Antoine Compagnon " If the hand would obey me " Lecture There are two other possible meanings for the title of this lecture : the end of writers and the end of novels. In the first sense, it's a small end for literature, which dies a little when a writer passes away. Barthes is particularly moved by the works … 14 Jan 2020 16:30 - 17:30 Event Jean-Noël Robert Reading texts related to the course topic (2) Seminar 14 Jan 2020 16:00 - 18:00 Event Patrick Boucheron The rowboat and the skiff Lecture Abstract If the previous session was dedicated to microstoria - through a textual genealogical investigation of the exergue system in Le Fromage and Carlo Ginzburg's verses - the following session continues this theme by devoting itself entirely to the … 14 Jan 2020 11:00 - 12:00 Event Jean-Noël Robert The Motoori Norinaga era Lecture 14 Jan 2020 10:30 - 11:30 Event Johan Richard The frontier fields of HST Seminar Documents and media Download support … 13 Jan 2020 17:45 - 18:45 Event Françoise Combes Galaxies with z = 6 to 12 Lecture Abstract There are several techniques for observing galaxies at high redshift , in the age of reionization : (1) large-z quasars and their Lyman-alpha emission, to pinpoint the nature of the absorption, meadow or forest ; (2) the Lyman breakage … 13 Jan 2020 16:45 - 17:45 Event Nicolas Grimal The oldest book in the world (continued) (2) Seminar 13 Jan 2020 15:00 - 16:00 Event Nicolas Grimal Le calame et la pierre. Essai d'histoire critique de la littérature égyptienne antique (continuation and conclusion) (2) Lecture 13 Jan 2020 14:00 - 15:00 Event Michel Droz Pattern formation in reaction-diffusion systems Seminar 13 Jan 2020 11:15 - 12:30 Event Dominique Charpin The beginnings of the period Lecture The second lecture was devoted to the first two reigns of the period, that of Abi-ešuh, who lasted 28 years (between 1711 and 1684), then that of Ammi-ditana, who occupied the throne for 37 years (from 1683 to 1647). This 65-year period represents … 13 Jan 2020 11:00 - 12:00 Event Bernard Derrida Reaction-diffusion problems : from front dynamics to genealogies (1) Lecture After recalling the many situations that can be described by reaction-diffusion equations (chemistry, physics, biology, ecology, sociology, genealogies) and the different types of theoretical approaches used (dynamical systems, partial differential … 13 Jan 2020 09:30 - 11:00 Series Great Earthquakes: Observations and Modeling Barbara Romanowicz, chair Physics of the Earth's interior Symposium Conference in English, organized with Yann Klinger, IPG Paris. … 30 Nov 2017 → 01 Dec 2017 Series Algorithms Claire Mathieu, chair Computer Sciences and Digital Technologies Lecture Claire Mathieu presents her lecture in the series les courTs du Collège de France Algorithm design and analysis research has come a long way in recent years. New computational models have emerged, as data, now too massive to be stored in a single place, … 28 Nov 2017 → 30 Jan 2018 Series Algorithms Claire Mathieu, chair Computer Sciences and Digital Technologies Seminar 28 Nov 2017 → 30 Jan 2018 Event Didier Fassin Unequal lives Opening lecture Abstract A member of the School of Social Sciences at Princeton's prestigious Institute for Advanced Study (since 2009) and Director of Studies at the École des hautes études en sciences sociales (since 1999), Didier Fassin was originally trained as an … 16 Jan 2020 18:00 - 19:00 Event Pierre-Louis Lions Notes on first eigenvalues and eigenfunctions Seminar 10 Jan 2020 11:15 - 12:45 Event Pierre-Louis Lions HJB, MFG and others (continued) (8) Lecture 10 Jan 2020 09:00 - 11:00 Pagination First page « First Previous page ‹‹ … Page 409 Page 410 Page 411 Page 412 Page 413 Page 414 Page 415 Page 416 Page 417 … Next page ›› Last page Last »
Event Arthur Charguéraud Coq separation logic : theory and practice Seminar Abstract The fourth seminar delved into the mechanization of a separation logic, a subject that the fourth lecture had only just touched upon. The speaker showed how to build such a logic in Coq from a natural semantics for a small language of the … 16 Jan 2020 11:15 - 12:15
Event Xavier Leroy Abstract art : static analysis through abstract interpretation Lecture Abstract Abstract interpretation is a very general formalism introduced by Patrick Cousot and Radhia Cousot in 1977 to describe and implement static analyses that are more precise than those achievable by data flow analysis. Beyond optimizations in … 16 Jan 2020 09:30 - 11:00
Event Françoise Barré-Sinoussi An AIDS vaccine : dream or (soon) reality ? Seminar The seminar laid the foundations for a possible HIV vaccine, and identified a number of encouraging avenues. An HIV vaccine remains a realistic objective, and its place in a policy to eliminate the pandemic remains unchallenged. Documents and media … 15 Jan 2020 17:30 - 18:30
Event Philippe Sansonetti A world without vaccines ? Lecture The aim of this lesson was to objectively analyze the role of vaccines in infectious disease control at a time when vaccine mistrust threatens to undermine the global public health model inherited from the 20th century, of which vaccines are a major … 15 Jan 2020 16:00 - 17:30
Event Jean-Christophe Cavallin Du feu style. Poetics of the postscript in the last Chateaubriand Seminar 14 Jan 2020 17:45 - 18:45
Event Antoine Compagnon " If the hand would obey me " Lecture There are two other possible meanings for the title of this lecture : the end of writers and the end of novels. In the first sense, it's a small end for literature, which dies a little when a writer passes away. Barthes is particularly moved by the works … 14 Jan 2020 16:30 - 17:30
Event Jean-Noël Robert Reading texts related to the course topic (2) Seminar 14 Jan 2020 16:00 - 18:00
Event Patrick Boucheron The rowboat and the skiff Lecture Abstract If the previous session was dedicated to microstoria - through a textual genealogical investigation of the exergue system in Le Fromage and Carlo Ginzburg's verses - the following session continues this theme by devoting itself entirely to the … 14 Jan 2020 11:00 - 12:00
Event Johan Richard The frontier fields of HST Seminar Documents and media Download support … 13 Jan 2020 17:45 - 18:45
Event Françoise Combes Galaxies with z = 6 to 12 Lecture Abstract There are several techniques for observing galaxies at high redshift , in the age of reionization : (1) large-z quasars and their Lyman-alpha emission, to pinpoint the nature of the absorption, meadow or forest ; (2) the Lyman breakage … 13 Jan 2020 16:45 - 17:45
Event Nicolas Grimal Le calame et la pierre. Essai d'histoire critique de la littérature égyptienne antique (continuation and conclusion) (2) Lecture 13 Jan 2020 14:00 - 15:00
Event Dominique Charpin The beginnings of the period Lecture The second lecture was devoted to the first two reigns of the period, that of Abi-ešuh, who lasted 28 years (between 1711 and 1684), then that of Ammi-ditana, who occupied the throne for 37 years (from 1683 to 1647). This 65-year period represents … 13 Jan 2020 11:00 - 12:00
Event Bernard Derrida Reaction-diffusion problems : from front dynamics to genealogies (1) Lecture After recalling the many situations that can be described by reaction-diffusion equations (chemistry, physics, biology, ecology, sociology, genealogies) and the different types of theoretical approaches used (dynamical systems, partial differential … 13 Jan 2020 09:30 - 11:00
Series Great Earthquakes: Observations and Modeling Barbara Romanowicz, chair Physics of the Earth's interior Symposium Conference in English, organized with Yann Klinger, IPG Paris. … 30 Nov 2017 → 01 Dec 2017
Series Algorithms Claire Mathieu, chair Computer Sciences and Digital Technologies Lecture Claire Mathieu presents her lecture in the series les courTs du Collège de France Algorithm design and analysis research has come a long way in recent years. New computational models have emerged, as data, now too massive to be stored in a single place, … 28 Nov 2017 → 30 Jan 2018
Series Algorithms Claire Mathieu, chair Computer Sciences and Digital Technologies Seminar 28 Nov 2017 → 30 Jan 2018
Event Didier Fassin Unequal lives Opening lecture Abstract A member of the School of Social Sciences at Princeton's prestigious Institute for Advanced Study (since 2009) and Director of Studies at the École des hautes études en sciences sociales (since 1999), Didier Fassin was originally trained as an … 16 Jan 2020 18:00 - 19:00
Event Pierre-Louis Lions Notes on first eigenvalues and eigenfunctions Seminar 10 Jan 2020 11:15 - 12:45