Share Facebook LinkedIn Bluesky Threads Copy url Search results Search 23371 results Filters Content type Content type (-) Lessons (23141) News (1609) People (1331) Chair (352) Editions (344) (-) Page (230) Research (27) Library (14) Annual Chair (12) Award (6) Active filters Lessons Page Event Christine Lombez Translations and new libraries in wartime : the case of the German Occupation (1940-1944) Seminar Abstract The seminar presented the issues at stake in the Traduire sous l'Occupation (TSOcc) research program on literary translation in France and Belgium during the … 13 Apr 2021 15:30 - 16:30 Event William Marx Cannon and oblivion Lecture Abstract Through a reading of a passage from the Book of Nehemiah, chapter 8, reporting Ezra's reading of the Book of the Law of Moses at the Water Gate in Jerusalem in 458 or 398 B.C., we can take a closer look at a moment that is often passed over in … 13 Apr 2021 14:30 - 15:30 Event Claudine Tiercelin Conclusions : The benefits of a realist semiotic approach to contemporary challenges, or how to think through the triangle : language-mind-world Lecture Documents and media Download support … 13 Apr 2021 14:00 - 16:00 Event Philippa Gardner Gillian: a Multi-language Platform for Compositional Symbolic Analysis Seminar Abstract The last seminar of the year, presented in English, described the Gillian multi-language symbolic-execution verification platform and its uses for checking and finding errors in JavaScript and C libraries. Philippa Gardner gave a general … 15 Apr 2021 11:15 - 12:15 Event Xavier Leroy Logics for functional and higher-order languages Lecture Abstract The last lecture of the year studied program logics for functions, including higher-order functions and functions as first-class values. Recursive procedures are one of the earliest extensions of Hoare logic. The reasoning rules are both elegant … 15 Apr 2021 09:30 - 11:00 Event Chris Bowler How have our perceptions of biodiversity and the environment changed over time ? Lecture How have our perceptions of biodiversity and the environment changed over time? From "Mother Nature" to the universal flood, from uniformitarianism to the environmental movement, from Earth Day to the CBD/Nagoya to … 7 Apr 2021 16:30 - 17:30 Event Jean-Louis Cohen Destination cities : St Petersburg and Washington Lecture 14 Apr 2021 18:00 - 19:00 Event Didier Fassin The birth of public health Lecture 14 Apr 2021 10:00 - 11:00 Event Bảo Châu Ngô Hitchin fibration Lecture 16 Apr 2021 14:00 - 16:00 Event Antoine Compagnon Dignitas non moritur Lecture 12 Jan 2021 16:30 - 17:30 Event Pierre-Michel Menger Pierre Boulez, créateur multiactif - Case study 2 (continued) Lecture Composer, conductor, founder and director of institutions, teacher, musicologist: how can you create while deploying your energy in an imposing portfolio of … 9 Apr 2021 10:00 - 12:00 Event Thomas Vidick Certifying random number generation with quantum technology Seminar Documents and media Download support … 14 Apr 2021 11:30 - 12:30 Event Frédéric Magniez Quantum cryptography and communication : Bell's inequalities, coin tosses, pawning, certification Lecture Documents and media Download support … 14 Apr 2021 10:00 - 11:30 Event Jean-Luc Fournet Study of Byzantine papyri in relation to lecture topic (8) Seminar 8 Apr 2021 15:30 - 17:00 Event Thomas Römer The Wisdom books : Proverbs, Job, Qoheleth Lecture Documents and media Download support … 8 Apr 2021 14:00 - 15:00 Event Vinciane Pirenne-Delforge The interweaving of thesmos and nomos in epigraphy Lecture Abstract After having analyzed the uses of thesmos and nomos in archaic poetry, the inscriptions of the 6th - 5th centuries (and even the very beginning of the 4th ) in which these terms appear are the subject of the present lesson. It appears that … 8 Apr 2021 11:00 - 12:00 Event Antoine Compagnon Winning the exit Closing lecture Abstract " I didn't know what to call this last lecture, oscillating between the two paths I've been striving to follow throughout this last lecture cycle and for the penultimate hour again: a melancholy temptation, that of artists clamoring for a "second … 12 Jan 2021 17:45 - 18:45 Event Dario Mantovani Roman, too Roman. The origins of fairness Lecture Those who seek to understand the past are drawn to origins, sometimes dangerously so. This infatuation with the "beginning" responds first and foremost to a desire for order, precisely because historiography is a narrative, which needs a point of … 7 Apr 2021 14:30 - 15:30 Event Sonia Garel A historical perspective on neuroimmune interactions Lecture 12 Apr 2021 16:30 - 18:00 Event Jean-Luc Fournet Le Monastère Blanc (3)/Other monastic libraries (1) Lecture The White Monastery (3) At first glance, you wouldn't expect to find the Roman d'Alexandre in a monastery: the figure of Alexander thirsting for (vain) glory, who pushes pride to the point of believing himself to be of divine descent, and the place given … 7 Apr 2021 11:00 - 12:00 Event Philippe Huneman Species, taxa and classification Seminar We can easily do without "vegetables", recognizing that many, but not all, consist of fruit, so that this category is obviously poorly constructed. It's more difficult to do without "fish", but the classification proposed by what is sometimes called "our … 6 Apr 2021 16:30 - 18:30 Event Claudine Tiercelin From some Peircian legacies : Merits and limits of naturalist semiotic readings of C. Morris, R. Millikan and F. Dretske Lecture Documents and media Download support … 6 Apr 2021 14:00 - 16:00 Event Jacques-Henri Jourdan Custom protocols in separation logic : ghost resources and invariants in Iris logic Seminar Abstract In this seminar, Jacques-Henri Jourdan presented the Iris separation logic. This logic, recently developed with the help of the Coq proof assistant, enables the verification of fine-grained concurrent programs by offering the possibility of … 8 Apr 2021 11:15 - 12:15 Event Xavier Leroy Weakly coherent shared memory logic Lecture Abstract Since the fourth lecture, our vision of parallel program execution has been that of an interweaving of the elementary actions of the processes making up the program. This model of parallelism is called sequentially consistent (SC). One advantage … 8 Apr 2021 09:30 - 11:00 Pagination First page Previous page … Page 250 Page 251 Page 252 Page 253 Current page 254 Page 255 Page 256 Page 257 Page 258 … Next page Last page
Event Christine Lombez Translations and new libraries in wartime : the case of the German Occupation (1940-1944) Seminar Abstract The seminar presented the issues at stake in the Traduire sous l'Occupation (TSOcc) research program on literary translation in France and Belgium during the … 13 Apr 2021 15:30 - 16:30
Event William Marx Cannon and oblivion Lecture Abstract Through a reading of a passage from the Book of Nehemiah, chapter 8, reporting Ezra's reading of the Book of the Law of Moses at the Water Gate in Jerusalem in 458 or 398 B.C., we can take a closer look at a moment that is often passed over in … 13 Apr 2021 14:30 - 15:30
Event Claudine Tiercelin Conclusions : The benefits of a realist semiotic approach to contemporary challenges, or how to think through the triangle : language-mind-world Lecture Documents and media Download support … 13 Apr 2021 14:00 - 16:00
Event Philippa Gardner Gillian: a Multi-language Platform for Compositional Symbolic Analysis Seminar Abstract The last seminar of the year, presented in English, described the Gillian multi-language symbolic-execution verification platform and its uses for checking and finding errors in JavaScript and C libraries. Philippa Gardner gave a general … 15 Apr 2021 11:15 - 12:15
Event Xavier Leroy Logics for functional and higher-order languages Lecture Abstract The last lecture of the year studied program logics for functions, including higher-order functions and functions as first-class values. Recursive procedures are one of the earliest extensions of Hoare logic. The reasoning rules are both elegant … 15 Apr 2021 09:30 - 11:00
Event Chris Bowler How have our perceptions of biodiversity and the environment changed over time ? Lecture How have our perceptions of biodiversity and the environment changed over time? From "Mother Nature" to the universal flood, from uniformitarianism to the environmental movement, from Earth Day to the CBD/Nagoya to … 7 Apr 2021 16:30 - 17:30
Event Jean-Louis Cohen Destination cities : St Petersburg and Washington Lecture 14 Apr 2021 18:00 - 19:00
Event Pierre-Michel Menger Pierre Boulez, créateur multiactif - Case study 2 (continued) Lecture Composer, conductor, founder and director of institutions, teacher, musicologist: how can you create while deploying your energy in an imposing portfolio of … 9 Apr 2021 10:00 - 12:00
Event Thomas Vidick Certifying random number generation with quantum technology Seminar Documents and media Download support … 14 Apr 2021 11:30 - 12:30
Event Frédéric Magniez Quantum cryptography and communication : Bell's inequalities, coin tosses, pawning, certification Lecture Documents and media Download support … 14 Apr 2021 10:00 - 11:30
Event Jean-Luc Fournet Study of Byzantine papyri in relation to lecture topic (8) Seminar 8 Apr 2021 15:30 - 17:00
Event Thomas Römer The Wisdom books : Proverbs, Job, Qoheleth Lecture Documents and media Download support … 8 Apr 2021 14:00 - 15:00
Event Vinciane Pirenne-Delforge The interweaving of thesmos and nomos in epigraphy Lecture Abstract After having analyzed the uses of thesmos and nomos in archaic poetry, the inscriptions of the 6th - 5th centuries (and even the very beginning of the 4th ) in which these terms appear are the subject of the present lesson. It appears that … 8 Apr 2021 11:00 - 12:00
Event Antoine Compagnon Winning the exit Closing lecture Abstract " I didn't know what to call this last lecture, oscillating between the two paths I've been striving to follow throughout this last lecture cycle and for the penultimate hour again: a melancholy temptation, that of artists clamoring for a "second … 12 Jan 2021 17:45 - 18:45
Event Dario Mantovani Roman, too Roman. The origins of fairness Lecture Those who seek to understand the past are drawn to origins, sometimes dangerously so. This infatuation with the "beginning" responds first and foremost to a desire for order, precisely because historiography is a narrative, which needs a point of … 7 Apr 2021 14:30 - 15:30
Event Sonia Garel A historical perspective on neuroimmune interactions Lecture 12 Apr 2021 16:30 - 18:00
Event Jean-Luc Fournet Le Monastère Blanc (3)/Other monastic libraries (1) Lecture The White Monastery (3) At first glance, you wouldn't expect to find the Roman d'Alexandre in a monastery: the figure of Alexander thirsting for (vain) glory, who pushes pride to the point of believing himself to be of divine descent, and the place given … 7 Apr 2021 11:00 - 12:00
Event Philippe Huneman Species, taxa and classification Seminar We can easily do without "vegetables", recognizing that many, but not all, consist of fruit, so that this category is obviously poorly constructed. It's more difficult to do without "fish", but the classification proposed by what is sometimes called "our … 6 Apr 2021 16:30 - 18:30
Event Claudine Tiercelin From some Peircian legacies : Merits and limits of naturalist semiotic readings of C. Morris, R. Millikan and F. Dretske Lecture Documents and media Download support … 6 Apr 2021 14:00 - 16:00
Event Jacques-Henri Jourdan Custom protocols in separation logic : ghost resources and invariants in Iris logic Seminar Abstract In this seminar, Jacques-Henri Jourdan presented the Iris separation logic. This logic, recently developed with the help of the Coq proof assistant, enables the verification of fine-grained concurrent programs by offering the possibility of … 8 Apr 2021 11:15 - 12:15
Event Xavier Leroy Weakly coherent shared memory logic Lecture Abstract Since the fourth lecture, our vision of parallel program execution has been that of an interweaving of the elementary actions of the processes making up the program. This model of parallelism is called sequentially consistent (SC). One advantage … 8 Apr 2021 09:30 - 11:00