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 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 to 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 to 11:00 Event Jean-Louis Cohen Source cities : London Lecture 7 Apr 2021 18:00 to 19:00 Event Patrick Boucheron After the plague, or time undone Lecture Based on a cross-analysis of Guillaume de Machaut's Judgment of the King of Navarre , Boccaccio's Decameron and Petrarch's correspondence, this final lesson attempts to draw together the lessons of the lecture around the question of the organization of … 6 Apr 2021 11:00 to 12:00 Event Bảo Châu Ngô Moduli space of fibers and the affine Grassmannian Lecture 9 Apr 2021 14:00 to 16:00 Event Frantz Grenet et Ching Chao-jung New approach to Chinese sources (mainly Tongdian) on Central Asia west of the Pamirs (7) Seminar Knowledge of Chinese is not required. … 2 Apr 2021 10:30 to 12:00 Event Pierre-Michel Menger Pierre Boulez, créateur multiactif - Case study 2 Lecture Composer, conductor, founder and director of institutions, teacher, musicologist: how can you create while deploying your energy in an imposing portfolio of … 2 Apr 2021 10:00 to 12:00 Event Eleni Diamanti Quantum communication networks Seminar Documents and media Download support … 7 Apr 2021 11:30 to 12:30 Event Frédéric Magniez Quantum information, first computational uses : superposition, measurement, transformation, non-cloning, quantum key distribution, teleportation Lecture Documents and media Download support … 7 Apr 2021 10:00 to 11:30 Event Jean-Luc Fournet Study of Byzantine papyri in relation to lecture topic (7) Seminar 1 Apr 2021 15:30 to 17:00 Event Frantz Grenet Hedonic themes (1) Lecture 1 Apr 2021 15:30 to 16:30 Event Thomas Römer The book of Psalms Lecture Documents and media Download support … 1 Apr 2021 14:00 to 15:00 Event Vinciane Pirenne-Delforge The interweaving of thesmos and nomos, from Homer to Solon Lecture Abstract Whether as precepts regulating community life or as oracular proclamations, themists remain confined to archaic poetry. However, the semantic field of themis remains activable when prose emerges, and epigraphic ritual norms, among others, … 1 Apr 2021 11:00 to 12:00 Event Dario Mantovani The (violent) desire for justice. The pain that doesn't make you lose your mind Lecture Is there a place for emotions in justice, which both ancient and modern think of as a figure of impassivity (Valère-Maxime, Faits et dits mémorables , 6. 5pr )? Feelings often manifest themselves in parties overwhelmed by their passions, sometimes by … 31 Mar 2021 14:30 to 15:30 Event Jean-Luc Fournet Le Monastère Blanc (2) Lecture Among the most interesting finds at the White Monastery is a codex, dating from the 10th/11th century , of disparate edifying texts. One section is devoted to sayings by philosophers who, when named, happen to be pagans (Diogenes the Cynic, Anacharsis). … 31 Mar 2021 11:00 to 12:00 Event Sophie Berlioz The reality of social entities Seminar Social entities make up our immediate environment: social and cultural objects, groups and symbolic entities. But these entities have a very special status, because in a world without human beings, it would be difficult to argue that they would continue … 30 Mar 2021 16:30 to 18:30 Event Cyrille Martinez Librarian's life Seminar Abstract The seminar offered a historical and political analysis of the profession of librarian - an ancient and little-known profession, a profession of discretion and … 30 Mar 2021 15:30 to 16:30 Event William Marx Libraries and power Lecture Abstract The question posed by the archive is that of its place: why is it there? Why is it still there? In other words, since we have defined the archive as all material or visible libraries, what is it that keeps material libraries going, and therefore, … 30 Mar 2021 14:30 to 15:30 Event Claudine Tiercelin For a Peircian-inspired realist semiotics (4) Semiotics and perception, or how to relate to the world without judging it or getting lost in it: the virtues of the abductive approach Lecture Documents and media Download support … 30 Mar 2021 14:00 to 16:00 Event Jean-Noël Robert Conclusions Lecture 30 Mar 2021 10:30 to 11:30 Event Edouard Bard The Holocene optimum and its human consequences Lecture 2 Apr 2021 15:00 to 16:30 Event Lluis Quintana-Murci Impact of genetics and cultural practices on human disease Lecture One of the special features of our species is its great cultural diversity, which, like our genes, is passed down from generation to generation. Human cultural traits, which play a key role in our survival, are passed down through the generations. This … 2 Apr 2021 11:00 to 12:30 Event Chris Bowler Biodiversity changes in the distant past (2) Lecture Changes in biodiversity in the distant past (2) Speciation, extinction and migration rates Increases in complexity have not been uniform Gaps in the fossil record This lecture is followed by Hélène Morlon's seminar " Studying changes in biodiversity in … 24 Mar 2021 16:30 to 17:30 Event François Pottier Reasoning about time in separation logic Seminar Abstract In his lecture, François Pottier showed that a program logic can not only establish the correctness of a program, but also control the number of operations it performs, and therefore, indirectly, its computation time. He explained how this … 1 Apr 2021 11:15 to 12:15 Pagination First page « First Previous page ‹‹ … Page 299 Page 300 Page 301 Page 302 Page 303 Page 304 Page 305 Page 306 Page 307 … Next page ›› Last page Last »
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 to 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 to 11:00
Event Patrick Boucheron After the plague, or time undone Lecture Based on a cross-analysis of Guillaume de Machaut's Judgment of the King of Navarre , Boccaccio's Decameron and Petrarch's correspondence, this final lesson attempts to draw together the lessons of the lecture around the question of the organization of … 6 Apr 2021 11:00 to 12:00
Event Bảo Châu Ngô Moduli space of fibers and the affine Grassmannian Lecture 9 Apr 2021 14:00 to 16:00
Event Frantz Grenet et Ching Chao-jung New approach to Chinese sources (mainly Tongdian) on Central Asia west of the Pamirs (7) Seminar Knowledge of Chinese is not required. … 2 Apr 2021 10:30 to 12:00
Event Pierre-Michel Menger Pierre Boulez, créateur multiactif - Case study 2 Lecture Composer, conductor, founder and director of institutions, teacher, musicologist: how can you create while deploying your energy in an imposing portfolio of … 2 Apr 2021 10:00 to 12:00
Event Eleni Diamanti Quantum communication networks Seminar Documents and media Download support … 7 Apr 2021 11:30 to 12:30
Event Frédéric Magniez Quantum information, first computational uses : superposition, measurement, transformation, non-cloning, quantum key distribution, teleportation Lecture Documents and media Download support … 7 Apr 2021 10:00 to 11:30
Event Jean-Luc Fournet Study of Byzantine papyri in relation to lecture topic (7) Seminar 1 Apr 2021 15:30 to 17:00
Event Thomas Römer The book of Psalms Lecture Documents and media Download support … 1 Apr 2021 14:00 to 15:00
Event Vinciane Pirenne-Delforge The interweaving of thesmos and nomos, from Homer to Solon Lecture Abstract Whether as precepts regulating community life or as oracular proclamations, themists remain confined to archaic poetry. However, the semantic field of themis remains activable when prose emerges, and epigraphic ritual norms, among others, … 1 Apr 2021 11:00 to 12:00
Event Dario Mantovani The (violent) desire for justice. The pain that doesn't make you lose your mind Lecture Is there a place for emotions in justice, which both ancient and modern think of as a figure of impassivity (Valère-Maxime, Faits et dits mémorables , 6. 5pr )? Feelings often manifest themselves in parties overwhelmed by their passions, sometimes by … 31 Mar 2021 14:30 to 15:30
Event Jean-Luc Fournet Le Monastère Blanc (2) Lecture Among the most interesting finds at the White Monastery is a codex, dating from the 10th/11th century , of disparate edifying texts. One section is devoted to sayings by philosophers who, when named, happen to be pagans (Diogenes the Cynic, Anacharsis). … 31 Mar 2021 11:00 to 12:00
Event Sophie Berlioz The reality of social entities Seminar Social entities make up our immediate environment: social and cultural objects, groups and symbolic entities. But these entities have a very special status, because in a world without human beings, it would be difficult to argue that they would continue … 30 Mar 2021 16:30 to 18:30
Event Cyrille Martinez Librarian's life Seminar Abstract The seminar offered a historical and political analysis of the profession of librarian - an ancient and little-known profession, a profession of discretion and … 30 Mar 2021 15:30 to 16:30
Event William Marx Libraries and power Lecture Abstract The question posed by the archive is that of its place: why is it there? Why is it still there? In other words, since we have defined the archive as all material or visible libraries, what is it that keeps material libraries going, and therefore, … 30 Mar 2021 14:30 to 15:30
Event Claudine Tiercelin For a Peircian-inspired realist semiotics (4) Semiotics and perception, or how to relate to the world without judging it or getting lost in it: the virtues of the abductive approach Lecture Documents and media Download support … 30 Mar 2021 14:00 to 16:00
Event Lluis Quintana-Murci Impact of genetics and cultural practices on human disease Lecture One of the special features of our species is its great cultural diversity, which, like our genes, is passed down from generation to generation. Human cultural traits, which play a key role in our survival, are passed down through the generations. This … 2 Apr 2021 11:00 to 12:30
Event Chris Bowler Biodiversity changes in the distant past (2) Lecture Changes in biodiversity in the distant past (2) Speciation, extinction and migration rates Increases in complexity have not been uniform Gaps in the fossil record This lecture is followed by Hélène Morlon's seminar " Studying changes in biodiversity in … 24 Mar 2021 16:30 to 17:30
Event François Pottier Reasoning about time in separation logic Seminar Abstract In his lecture, François Pottier showed that a program logic can not only establish the correctness of a program, but also control the number of operations it performs, and therefore, indirectly, its computation time. He explained how this … 1 Apr 2021 11:15 to 12:15