Share Facebook LinkedIn Bluesky Threads Copy url Search results Search 24608 results Filters Content type Content type (-) Lessons (24248) News (1811) People (1402) Editions (369) (-) Chair (360) Page (230) Research (27) Library (14) Annual Chair (12) Award (6) Active filters Lessons Chair Our website is being updated and some of the contents might still be missing.Please wait for a few minutes before resuming your browsing session. 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 to 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 to 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 to 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 to 17:30 Series Metabolism, Control of Cell Fate Decisions, and Stem Cell Renewal Hugues de Thé, chair Cellular and Molecular Oncology Seminar 07 Sep 2017 Event Carlo Ossola " Vita nova " from Dante to Roland Barthes (1) Lecture 15 Jan 2020 17:00 to 18:00 Event Jean-Christophe Cavallin Du feu style. Poetics of the postscript in the last Chateaubriand Seminar 14 Jan 2020 17:45 to 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 to 17:30 Event Jean-Noël Robert Reading texts related to the course topic (2) Seminar 14 Jan 2020 16:00 to 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 to 12:00 Event Jean-Noël Robert The Motoori Norinaga era Lecture 14 Jan 2020 10:30 to 11:30 Event Johan Richard The frontier fields of HST Seminar Documents and media Download support … 13 Jan 2020 17:45 to 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 to 17:45 Event Nicolas Grimal The oldest book in the world (continued) (2) Seminar 13 Jan 2020 15:00 to 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 to 15:00 Event Michel Droz Pattern formation in reaction-diffusion systems Seminar 13 Jan 2020 11:15 to 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 to 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 to 11:00 Event Willy Clarysse The Epigraphic Model in the Script of Greek Papyri Symposium Categorization and paleography (session chaired by J. Schlanger). … 6 Dec 2019 11:30 to 12:00 Event Jean-Luc Fournet Conclusions Symposium 6 Dec 2019 12:30 to 13:30 Event Marc Smith Questions about categorizing Roman scripts Symposium Categorization and paleography (session chaired by J. Schlanger). … 6 Dec 2019 12:00 to 12:30 Event Judith Schlanger Book scribes, document scribes in Cairo's Genizah Symposium Modern categorization of ancient and medieval writing outside papyrology - Part 2 (session chaired by A. Ricciardetto) … 6 Dec 2019 10:00 to 10:30 Event Laurent Morelle , the playground of diplomatists (medieval Latin West) : the grey areas of an effective category Symposium Modern categorization of ancient and medieval writing outside papyrology - Part 2 (session chaired by A. Ricciardetto). … 6 Dec 2019 10:30 to 11:00 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 to 19:00 Pagination First page « First Previous page ‹‹ … Page 358 Page 359 Page 360 Page 361 Page 362 Page 363 Page 364 Page 365 Page 366 … 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 to 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 to 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 to 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 to 17:30
Series Metabolism, Control of Cell Fate Decisions, and Stem Cell Renewal Hugues de Thé, chair Cellular and Molecular Oncology Seminar 07 Sep 2017
Event Jean-Christophe Cavallin Du feu style. Poetics of the postscript in the last Chateaubriand Seminar 14 Jan 2020 17:45 to 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 to 17:30
Event Jean-Noël Robert Reading texts related to the course topic (2) Seminar 14 Jan 2020 16:00 to 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 to 12:00
Event Johan Richard The frontier fields of HST Seminar Documents and media Download support … 13 Jan 2020 17:45 to 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 to 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 to 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 to 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 to 11:00
Event Willy Clarysse The Epigraphic Model in the Script of Greek Papyri Symposium Categorization and paleography (session chaired by J. Schlanger). … 6 Dec 2019 11:30 to 12:00
Event Marc Smith Questions about categorizing Roman scripts Symposium Categorization and paleography (session chaired by J. Schlanger). … 6 Dec 2019 12:00 to 12:30
Event Judith Schlanger Book scribes, document scribes in Cairo's Genizah Symposium Modern categorization of ancient and medieval writing outside papyrology - Part 2 (session chaired by A. Ricciardetto) … 6 Dec 2019 10:00 to 10:30
Event Laurent Morelle , the playground of diplomatists (medieval Latin West) : the grey areas of an effective category Symposium Modern categorization of ancient and medieval writing outside papyrology - Part 2 (session chaired by A. Ricciardetto). … 6 Dec 2019 10:30 to 11:00
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 to 19:00