Share Facebook LinkedIn Bluesky Threads Copy url Search results Search 24525 results Filters Content type Content type (-) Lessons (23194) News (1634) (-) People (1331) Chair (352) Editions (348) Page (229) Research (27) Library (14) Annual Chair (12) Award (6) Active filters Lessons People 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 Antoine Compagnon Dignitas non moritur Lecture 12 Jan 2021 16:30 - 17:30 Event Bảo Châu Ngô Hitchin fibration Lecture 16 Apr 2021 14:00 - 16:00 Series Birational invariants Claire Voisin, chair Algebraic geometry Seminar 06 Jun 2019 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 Series Dynamical Mean Field Theory and Beyond: Recent Developments Antoine Georges, chair Quantum Condensed Matter Physics Symposium 11 Jun 2019 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 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 Sonia Garel A historical perspective on neuroimmune interactions Lecture 12 Apr 2021 16:30 - 18:00 Series James Stewart Alain Supiot, chair The Social State and Globalization: A Legal Analysis of Forms of Solidarity Guest lecturer James Stewart is invited by the Collège de France assembly, at the suggestion of Pr Alain Supiot. James Stewart … 31 May 2019 → 18 Jun 2019 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 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 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 307 Page 308 Page 309 Page 310 Current page 311 Page 312 Page 313 Page 314 Page 315 … Next page Last page
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
Series Dynamical Mean Field Theory and Beyond: Recent Developments Antoine Georges, chair Quantum Condensed Matter Physics Symposium 11 Jun 2019
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 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 Sonia Garel A historical perspective on neuroimmune interactions Lecture 12 Apr 2021 16:30 - 18:00
Series James Stewart Alain Supiot, chair The Social State and Globalization: A Legal Analysis of Forms of Solidarity Guest lecturer James Stewart is invited by the Collège de France assembly, at the suggestion of Pr Alain Supiot. James Stewart … 31 May 2019 → 18 Jun 2019
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 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
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