Share Facebook LinkedIn Bluesky Threads Copy url Search results Search 24275 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 Research 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 to 11:00 Event Jean-Louis Cohen Destination cities : St Petersburg and Washington Lecture 14 Apr 2021 18:00 to 19:00 Event Didier Fassin The birth of public health Lecture 14 Apr 2021 10:00 to 11:00 Event Bảo Châu Ngô Hitchin fibration Lecture 16 Apr 2021 14:00 to 16: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 to 18:45 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 to 12:00 Event Thomas Vidick Certifying random number generation with quantum technology Seminar Documents and media Download support … 14 Apr 2021 11:30 to 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 to 11:30 Series Birational invariants Claire Voisin, chair Algebraic geometry Lecture 09 May 2019 → 20 Jun 2019 Series Workshop " Translocations Bénédicte Savoy, chair Cultural history of art heritage in Europe, 18th-20th centuries Seminar This workshop provides a forum for dialogue with the latest research on translocations . It forms a link with the project of the same name directed by Prof. Bénédicte Savoy at the Technische Universität in Berlin. The term "translocations" is intended to … 22 Feb 2019 → 12 Apr 2019 Event Jean-Luc Fournet Study of Byzantine papyri in relation to lecture topic (8) Seminar 8 Apr 2021 15:30 to 17:00 Event Thomas Römer The Wisdom books : Proverbs, Job, Qoheleth Lecture Documents and media Download support … 8 Apr 2021 14:00 to 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 to 12:00 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 to 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 to 12:00 Series Organoids, embryoids and in vitro development Denis Duboule, chair Evolution of Development and Genomes Lecture The general aim of this lecture was to review the technology and use of organoids and embryoids. In the last ten years or so, there has been an upsurge in the production and use of such animal replacement systems in the study of phenomena and pathologies … 07 May 2019 → 11 Jun 2019 Series Interacting fermions : Introduction to dynamic mean field theory Antoine Georges, chair Quantum Condensed Matter Physics Seminar 07 May 2019 → 11 Jun 2019 Event Sonia Garel A historical perspective on neuroimmune interactions Lecture 12 Apr 2021 16:30 to 18:00 Series Interacting fermions : Introduction to dynamic mean field theory Antoine Georges, chair Quantum Condensed Matter Physics Lecture Quantum systems made up of a very large number of interacting particles - electrons in a material or quantum fluids such as ultra-cold gases - display fascinating collective phenomena. As early as 1929, Dirac stressed the need to develop theoretical … 07 May 2019 → 11 Jun 2019 Event Didier Fassin Observations on the condition of exile Seminar Session organized in collaboration with the Health department of the Institut Convergences Migrations. Public health and migration … 18 Jan 2021 15:00 to 16: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 to 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 to 16:00 Series Exo-planets, stars and galaxies : observational advances Antoine Labeyrie, chair Observational astrophysics Seminar 05 Jun 2013 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 to 17:30 Pagination First page « First Previous page ‹‹ … Page 298 Page 299 Page 300 Page 301 Page 302 Page 303 Page 304 Page 305 Page 306 … Next page ›› Last page Last »
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 to 11:00
Event Jean-Louis Cohen Destination cities : St Petersburg and Washington Lecture 14 Apr 2021 18:00 to 19: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 to 18:45
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 to 12:00
Event Thomas Vidick Certifying random number generation with quantum technology Seminar Documents and media Download support … 14 Apr 2021 11:30 to 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 to 11:30
Series Birational invariants Claire Voisin, chair Algebraic geometry Lecture 09 May 2019 → 20 Jun 2019
Series Workshop " Translocations Bénédicte Savoy, chair Cultural history of art heritage in Europe, 18th-20th centuries Seminar This workshop provides a forum for dialogue with the latest research on translocations . It forms a link with the project of the same name directed by Prof. Bénédicte Savoy at the Technische Universität in Berlin. The term "translocations" is intended to … 22 Feb 2019 → 12 Apr 2019
Event Jean-Luc Fournet Study of Byzantine papyri in relation to lecture topic (8) Seminar 8 Apr 2021 15:30 to 17:00
Event Thomas Römer The Wisdom books : Proverbs, Job, Qoheleth Lecture Documents and media Download support … 8 Apr 2021 14:00 to 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 to 12:00
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 to 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 to 12:00
Series Organoids, embryoids and in vitro development Denis Duboule, chair Evolution of Development and Genomes Lecture The general aim of this lecture was to review the technology and use of organoids and embryoids. In the last ten years or so, there has been an upsurge in the production and use of such animal replacement systems in the study of phenomena and pathologies … 07 May 2019 → 11 Jun 2019
Series Interacting fermions : Introduction to dynamic mean field theory Antoine Georges, chair Quantum Condensed Matter Physics Seminar 07 May 2019 → 11 Jun 2019
Event Sonia Garel A historical perspective on neuroimmune interactions Lecture 12 Apr 2021 16:30 to 18:00
Series Interacting fermions : Introduction to dynamic mean field theory Antoine Georges, chair Quantum Condensed Matter Physics Lecture Quantum systems made up of a very large number of interacting particles - electrons in a material or quantum fluids such as ultra-cold gases - display fascinating collective phenomena. As early as 1929, Dirac stressed the need to develop theoretical … 07 May 2019 → 11 Jun 2019
Event Didier Fassin Observations on the condition of exile Seminar Session organized in collaboration with the Health department of the Institut Convergences Migrations. Public health and migration … 18 Jan 2021 15:00 to 16: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 to 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 to 16:00
Series Exo-planets, stars and galaxies : observational advances Antoine Labeyrie, chair Observational astrophysics Seminar 05 Jun 2013
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 to 17:30