Share Facebook LinkedIn Bluesky Threads Copy url Search results Search 28040 results Filters Content type Content type Lessons (23960) News (1716) People (1359) Chair (359) Editions (357) Page (230) Research (27) Library (14) Annual Chair (12) Award (6) Series Data structures and algorithms for formal verification Gérard Berry, chair Algorithms, machines and languages Lecture After the general presentation of formal verification of programs and circuits in the 2014-2015 lecture, the 2015-2016 lecture was devoted to automatic verification methods based on decidable theories. These methods, some of which were introduced as early … 04 Nov 2015 → 13 Apr 2016 Series The menu of environmental policy instruments Thomas Sterner, chair Sustainable development - Environment, energy and society Opening lecture 22 Oct 2015 Event Dominique Charpin The history of Ur, from the fall of Ur III to the abandonment by Samsu-iluna Lecture The first part of the lecture continued the history of excavations and publications. The study of texts from the Palaeo-Babylonian period was given fresh impetus in 1976, when the excavation report that Woolley and Max Mallowan had been completing for … 11 Apr 2018 14:30 to 15:30 Event Jacques Vollet The Necessity of Knowledge for Action and the Excuse Manœuvre Symposium 10 Apr 2018 16:00 to 17:00 Event Jean-Baptiste Guillon Skepticism, epistemic circularity and common sense Symposium 10 Apr 2018 14:30 to 15:30 Event Pascal Engel Can you disagree with a moron ? Symposium 10 Apr 2018 13:30 to 14:30 Event Baron Reed Scepticism as a Way of Life Symposium 10 Apr 2018 11:00 to 12:00 Event Christophe Grellard Can a Christian be a skeptic ? Symposium 10 Apr 2018 10:00 to 11:00 Event Hélène Merlin-Kajman Trauma : a few details Symposium About "Lire dans la gueule du loup. Essai sur une zone à défendre, la littérature" (2016). … 31 May 2018 16:40 to 17:20 Event Catherine Coquio Testimony : criticism of memory and criticism of works Symposium About "Mal de vérité ou l'utopie de la mémoire" (2015). … 31 May 2018 17:20 to 18:00 Event Vincent Kaufmann After the avant-garde, the show Symposium About "Dernières Nouvelles du spectacle. What the media do to literature" (2017). … 31 May 2018 15:50 to 16:30 Event Jean-Pierre Bertrand On second thought Symposium About "Inventing in literature. From prose poem to automatic writing" (2015). … 31 May 2018 14:30 to 15:10 Event Bertrand Westphal Literature on a global scale Symposium About "La Cage des méridiens. Literature and contemporary art in the face of globalization" (2016). … 31 May 2018 15:10 to 15:50 Event Jean-Baptiste Amadieu From archives to scholarly discourse Symposium About "La Littérature française du XIXe siècle mise à l'Index. Les procédures" (2017). … 31 May 2018 11:10 to 11:50 Event Sophie Basch Antiques as fine art Symposium About "Rastaquarium. Marcel Proust and the 'modern style'. Decorative arts and politics in 'In Search of Lost Time'" (2014). … 31 May 2018 11:50 to 12:30 Event Olivier Guerrier Montaigne and the Renaissance moment Symposium On "Rencontre et reconnaissance: les Essais ou le jeu du hasard et de la vérité" (2016). … 31 May 2018 09:05 to 09:40 Event Sophie Lefay Literature beyond books Symposium About "L'Éloquence des pierres. Usages littéraires de l'inscription au XVIIIe siècle" (2015). … 31 May 2018 10:20 to 11:00 Event Anne Régent-Susini An experience of limits ? Rhetoric, religion and literature Symposium On "Bossuet and the rhetoric of authority" (2011). … 31 May 2018 09:40 to 10:20 Series International social justice (II) Alain Supiot, chair The Social State and Globalization: A Legal Analysis of Forms of Solidarity Lecture The 2015-2016 lecture was the second in a cycle devoted to international social justice. Following on from the previous year, devoted to the origins of this notion and its implementation by the International Labour Organization (ILO) since 1919, the aim … 28 Oct 2015 → 13 Jan 2016 Series Exploiting the natural resources of Egypt's eastern desert in ancient times Jean-Pierre Brun, chair Techniques and Economies in the Ancient Mediterranean Lecture The lecture given during the 2015-2016 year was aimed at completing the critical presentation of the data provided by recent archaeological research in Egypt's Eastern Desert. After reviewing the excavations of ancient fortresses and ports between 2013 … 27 Oct 2015 → 15 Dec 2015 Series Alexandre Gady Antoine Compagnon, chair Modern and contemporary French literature : history, criticism, theory Guest lecturer 08 Oct 2015 Event Kieran O'Grady Hyperkaehler Manifolds Which Are Not Deformations of Beauville's Examples Seminar 5 Apr 2018 11:00 to 12:00 Event Peter Stokes Relations between caroline and vernacular lower case in 11th-century England Symposium 6 Apr 2018 16:15 to 17:00 Event Marc Smith Western languages and scripts in the modern era Symposium 6 Apr 2018 17:00 to 17:45 Pagination First page « First Previous page ‹‹ … Page 554 Page 555 Page 556 Page 557 Page 558 Page 559 Page 560 Page 561 Page 562 … Next page ›› Last page Last »
Series Data structures and algorithms for formal verification Gérard Berry, chair Algorithms, machines and languages Lecture After the general presentation of formal verification of programs and circuits in the 2014-2015 lecture, the 2015-2016 lecture was devoted to automatic verification methods based on decidable theories. These methods, some of which were introduced as early … 04 Nov 2015 → 13 Apr 2016
Series The menu of environmental policy instruments Thomas Sterner, chair Sustainable development - Environment, energy and society Opening lecture 22 Oct 2015
Event Dominique Charpin The history of Ur, from the fall of Ur III to the abandonment by Samsu-iluna Lecture The first part of the lecture continued the history of excavations and publications. The study of texts from the Palaeo-Babylonian period was given fresh impetus in 1976, when the excavation report that Woolley and Max Mallowan had been completing for … 11 Apr 2018 14:30 to 15:30
Event Jacques Vollet The Necessity of Knowledge for Action and the Excuse Manœuvre Symposium 10 Apr 2018 16:00 to 17:00
Event Jean-Baptiste Guillon Skepticism, epistemic circularity and common sense Symposium 10 Apr 2018 14:30 to 15:30
Event Hélène Merlin-Kajman Trauma : a few details Symposium About "Lire dans la gueule du loup. Essai sur une zone à défendre, la littérature" (2016). … 31 May 2018 16:40 to 17:20
Event Catherine Coquio Testimony : criticism of memory and criticism of works Symposium About "Mal de vérité ou l'utopie de la mémoire" (2015). … 31 May 2018 17:20 to 18:00
Event Vincent Kaufmann After the avant-garde, the show Symposium About "Dernières Nouvelles du spectacle. What the media do to literature" (2017). … 31 May 2018 15:50 to 16:30
Event Jean-Pierre Bertrand On second thought Symposium About "Inventing in literature. From prose poem to automatic writing" (2015). … 31 May 2018 14:30 to 15:10
Event Bertrand Westphal Literature on a global scale Symposium About "La Cage des méridiens. Literature and contemporary art in the face of globalization" (2016). … 31 May 2018 15:10 to 15:50
Event Jean-Baptiste Amadieu From archives to scholarly discourse Symposium About "La Littérature française du XIXe siècle mise à l'Index. Les procédures" (2017). … 31 May 2018 11:10 to 11:50
Event Sophie Basch Antiques as fine art Symposium About "Rastaquarium. Marcel Proust and the 'modern style'. Decorative arts and politics in 'In Search of Lost Time'" (2014). … 31 May 2018 11:50 to 12:30
Event Olivier Guerrier Montaigne and the Renaissance moment Symposium On "Rencontre et reconnaissance: les Essais ou le jeu du hasard et de la vérité" (2016). … 31 May 2018 09:05 to 09:40
Event Sophie Lefay Literature beyond books Symposium About "L'Éloquence des pierres. Usages littéraires de l'inscription au XVIIIe siècle" (2015). … 31 May 2018 10:20 to 11:00
Event Anne Régent-Susini An experience of limits ? Rhetoric, religion and literature Symposium On "Bossuet and the rhetoric of authority" (2011). … 31 May 2018 09:40 to 10:20
Series International social justice (II) Alain Supiot, chair The Social State and Globalization: A Legal Analysis of Forms of Solidarity Lecture The 2015-2016 lecture was the second in a cycle devoted to international social justice. Following on from the previous year, devoted to the origins of this notion and its implementation by the International Labour Organization (ILO) since 1919, the aim … 28 Oct 2015 → 13 Jan 2016
Series Exploiting the natural resources of Egypt's eastern desert in ancient times Jean-Pierre Brun, chair Techniques and Economies in the Ancient Mediterranean Lecture The lecture given during the 2015-2016 year was aimed at completing the critical presentation of the data provided by recent archaeological research in Egypt's Eastern Desert. After reviewing the excavations of ancient fortresses and ports between 2013 … 27 Oct 2015 → 15 Dec 2015
Series Alexandre Gady Antoine Compagnon, chair Modern and contemporary French literature : history, criticism, theory Guest lecturer 08 Oct 2015
Event Kieran O'Grady Hyperkaehler Manifolds Which Are Not Deformations of Beauville's Examples Seminar 5 Apr 2018 11:00 to 12:00
Event Peter Stokes Relations between caroline and vernacular lower case in 11th-century England Symposium 6 Apr 2018 16:15 to 17:00