Share Facebook LinkedIn Bluesky Threads Copy url Search results Search 27018 results Filters Content type Content type Lessons (23103) News (1603) People (1328) Chair (352) Editions (343) Page (230) Research (27) Library (14) Annual Chair (12) Award (6) 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 News New acquisitions for the Byzantine Library Libraries and archives Model of the sanctuary of Saint-Syméon-le-Stylite in Syria. The Byzantine Library invites you to discover its complete list of acquisitions for the first half of 2023. Find out more Download the list of acquisitions Go to the Byzantine library page … Published on 18 July 2023 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 Event Chris Bowler Current distribution of biodiversity in different ecosystems Lecture Current distribution of biodiversity in different ecosystems Local and global models. Biodiversity and ecosystem productivity. Biodiversity and Ecosystem Stability. Biogeographic and ecological determinants of biodiversity patterns Biodiversity … 31 Mar 2021 16:30 - 17:30 Pagination First page Previous page … Page 348 Page 349 Page 350 Page 351 Current page 352 Page 353 Page 354 Page 355 Page 356 … Next page Last page
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
News New acquisitions for the Byzantine Library Libraries and archives Model of the sanctuary of Saint-Syméon-le-Stylite in Syria. The Byzantine Library invites you to discover its complete list of acquisitions for the first half of 2023. Find out more Download the list of acquisitions Go to the Byzantine library page … Published on 18 July 2023
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
Event Chris Bowler Current distribution of biodiversity in different ecosystems Lecture Current distribution of biodiversity in different ecosystems Local and global models. Biodiversity and ecosystem productivity. Biodiversity and Ecosystem Stability. Biogeographic and ecological determinants of biodiversity patterns Biodiversity … 31 Mar 2021 16:30 - 17:30
