Share Facebook LinkedIn Bluesky Threads Copy url Search results Search 23960 results Filters Content type Content type (-) Lessons (23960) News (1716) People (1359) Chair (359) Editions (357) Page (230) Research (27) Library (14) Annual Chair (12) Award (6) Active filters Lessons Event Tobias Nipkow Verification of Functional Data Structures: Correctness and Complexity Seminar Abstract The talk gives a brief overview of our book "Functional Algorithms, Verified!" and its approach to verifying not just correctness but also running time of a large collection of functional algorithms. Then, two examples are presented in more … 23 Mar 2023 11:15 to 12:15 Event Samantha Besson Representation in, through and by international organizations Lecture 23 Mar 2023 10:00 to 11:30 Event Xavier Leroy Reconciling amortization and persistence : the importance of laziness Lecture Abstract Amortization is a principle of data structure design which aims to guarantee an average cost per operation over any sequence of operations, with the high cost of some operations being amortized by the low cost of previous operations. After a … 23 Mar 2023 09:30 to 11:00 Event Stella Ghervas Europe's military might : the fearful lion in search of peace Guest lecturer This conference is not available in audio or video. European construction, built on the ruins of the great European powers in the aftermath of the Second World War, has maintained an uncomfortable relationship with military power, which is too closely … 13 Apr 2023 17:30 to 18:30 Event Denis Feissel Ulpian, De officio proconsulis and the privileges of Ephesus : around the inscription I.Ephesos 217 Seminar 22 Mar 2023 16:00 to 18:00 Event Dario Mantovani " Natural law is that which nature has taught to all animals ". The Roman roots of legal anthropocentrism Lecture Against the backdrop of the Roman conception of " natura ", and in particular Cicero's De natura deorum , the lecture will offer an interpretation of a famous, powerful and enigmatic text by Ulpian (D. 1.1.3-4 and D. 1.1.6). Three categories of law are … 22 Mar 2023 14:30 to 15:30 Event Jean-Luc Fournet In the top with Horapollon (1) Lecture Abstract Horapollon, whom we met in the Dioscore anthology, is a famous figure in 5th-century Alexandria , who will serve as our guide into the world of higher learning. At the crossroads of networks Alexandria 's position as an interface between its … 22 Mar 2023 11:00 to 12:00 Event Henry Laurens Introduction Symposium 22 Mar 2023 09:00 to 09:30 Event Damien Voiry Nanofluidics in membranes based on two-dimensional materials Seminar Abstract With climate change and population growth, securing water resources has become one of the greatest challenges of the coming decades. To meet growing demand, water must be recovered and purified. In this context, the development of membranes with … 22 Mar 2023 15:30 to 17:00 Event Lydéric Bocquet Water/energy nexus and nanofluidic innovations (I) : new membrane materials and unconventional filtrations Lecture Membrane separation is at the heart of technologies for the remediation and purification of water and fluids in general. Membranes are generally made of polymeric materials that achieve separation by steric or electrostatic effect. The underlying vision … 22 Mar 2023 14:00 to 15:30 Event Özge Biner Syrian refugees in Turkey : from temporary protection to exceptional citizenship Seminar 7 Feb 2023 11:00 to 12:00 Event Stella Ghervas The quest for peace in an enlarged Europe : at the gates of Moscow and Istanbul Guest lecturer This conference is not available in audio or video. This conference will examine the enlargement of the European Union after the fall of the Berlin Wall and the dismemberment of the Soviet Union. The horizon of peace is no longer limited to the West, but … 12 Apr 2023 17:30 to 18:30 Event Gisèle Sapiro Creating an international literary canon. Roger Caillois and UNESCO's " Representative Works" program Seminar Abstract After the Second World War, Roger Caillois played a key role within UNESCO in the creation of a world heritage of literature. One of his initiatives was to have the classics translated, which involved drawing up a list of them, identifying the … 21 Mar 2023 18:00 to 19:00 Event Martin Rueff Rousseau and proper names : a philological study Seminar Abstract Literature is both the power and the enactment of the properties of language, but it realizes only some of them. The case of Rousseau shows that the proper name takes on three essential values for him, and constitutes one of the focal points of … 21 Mar 2023 17:00 to 18:00 Event William Marx The Mallarmé Peak funicular Lecture Abstract While Paul Valéry's criticism in the years 1920 focused on the commercial value of his work (the relationship between actual work and the price of publications), it also concerned his intellectual value. This offensive against the work itself, … 21 Mar 2023 16:00 to 17:00 Event Claudine Tiercelin Skepticism and knowledge : new challenges (2) Lecture 21 Mar 2023 14:00 to 16:00 Event Edith Heard The impact of inactive X- and Y-linked gene expression on sex differences Lecture Documents and media Download support … 20 Mar 2023 10:00 to 12:30 Event Antoine Lilti The Tahitian fable Lecture 20 Mar 2023 14:30 to 15:30 Event Dominique Charpin Families in turmoil Lecture Internal difficulties within couples could lead to divorce. A family's worsening economic situation sometimes resulted in the pledging of certain members, or even imprisonment for debt. In the event of military defeat, whole families were sometimes … 20 Mar 2023 11:00 to 12:00 Event Phượng Bùi Trân From political power to cultural contributions, Vietnamese women up to the mid-19th century Lecture Abstract With the consolidation of the centralized state around the Three Readings of Buddhism, Confucianism and Taoism (tam giáo ) , and the predominance of Confucianism from the 15th century onwards, women lost their political prerogatives over time. … 20 Mar 2023 11:00 to 12:00 Event Vincent Devictor Variations on the theme of the dying living : appropriation, domination, exploitation Seminar Abstract " Hide the causes of the crisis from us . I propose to examine together another way of reading the ecological crisis. Not by exposing the symptoms that scientific ecology has been scrutinizing for decades, but rather by identifying what … 20 Mar 2023 11:00 to 12:00 Series End of the month and end of the world : how to reconcile economy and ecology ? Christian Gollier, chair Avenir Commun Durable Seminar 05 Jan 2022 → 23 Feb 2022 Event Virginie Courtier-Orgogozo Domestication Lecture History of domestication. How domestication changed our perception of the living world. GMOs. Genetic forcing. Documents and media Download … 20 Mar 2023 10:00 to 11:00 Series End of the month and end of the world : how to reconcile economy and ecology ? Christian Gollier, chair Avenir Commun Durable Lecture While there is a strong consensus on the necessity and urgency of taking vigorous action to combat climate change, there is still total confusion at both political and public level as to how this can be achieved, in particular by adapting or … 05 Jan 2022 → 23 Feb 2022 Pagination First page « First Previous page ‹‹ … Page 178 Page 179 Page 180 Page 181 Page 182 Page 183 Page 184 Page 185 Page 186 … Next page ›› Last page Last »
Event Tobias Nipkow Verification of Functional Data Structures: Correctness and Complexity Seminar Abstract The talk gives a brief overview of our book "Functional Algorithms, Verified!" and its approach to verifying not just correctness but also running time of a large collection of functional algorithms. Then, two examples are presented in more … 23 Mar 2023 11:15 to 12:15
Event Samantha Besson Representation in, through and by international organizations Lecture 23 Mar 2023 10:00 to 11:30
Event Xavier Leroy Reconciling amortization and persistence : the importance of laziness Lecture Abstract Amortization is a principle of data structure design which aims to guarantee an average cost per operation over any sequence of operations, with the high cost of some operations being amortized by the low cost of previous operations. After a … 23 Mar 2023 09:30 to 11:00
Event Stella Ghervas Europe's military might : the fearful lion in search of peace Guest lecturer This conference is not available in audio or video. European construction, built on the ruins of the great European powers in the aftermath of the Second World War, has maintained an uncomfortable relationship with military power, which is too closely … 13 Apr 2023 17:30 to 18:30
Event Denis Feissel Ulpian, De officio proconsulis and the privileges of Ephesus : around the inscription I.Ephesos 217 Seminar 22 Mar 2023 16:00 to 18:00
Event Dario Mantovani " Natural law is that which nature has taught to all animals ". The Roman roots of legal anthropocentrism Lecture Against the backdrop of the Roman conception of " natura ", and in particular Cicero's De natura deorum , the lecture will offer an interpretation of a famous, powerful and enigmatic text by Ulpian (D. 1.1.3-4 and D. 1.1.6). Three categories of law are … 22 Mar 2023 14:30 to 15:30
Event Jean-Luc Fournet In the top with Horapollon (1) Lecture Abstract Horapollon, whom we met in the Dioscore anthology, is a famous figure in 5th-century Alexandria , who will serve as our guide into the world of higher learning. At the crossroads of networks Alexandria 's position as an interface between its … 22 Mar 2023 11:00 to 12:00
Event Damien Voiry Nanofluidics in membranes based on two-dimensional materials Seminar Abstract With climate change and population growth, securing water resources has become one of the greatest challenges of the coming decades. To meet growing demand, water must be recovered and purified. In this context, the development of membranes with … 22 Mar 2023 15:30 to 17:00
Event Lydéric Bocquet Water/energy nexus and nanofluidic innovations (I) : new membrane materials and unconventional filtrations Lecture Membrane separation is at the heart of technologies for the remediation and purification of water and fluids in general. Membranes are generally made of polymeric materials that achieve separation by steric or electrostatic effect. The underlying vision … 22 Mar 2023 14:00 to 15:30
Event Özge Biner Syrian refugees in Turkey : from temporary protection to exceptional citizenship Seminar 7 Feb 2023 11:00 to 12:00
Event Stella Ghervas The quest for peace in an enlarged Europe : at the gates of Moscow and Istanbul Guest lecturer This conference is not available in audio or video. This conference will examine the enlargement of the European Union after the fall of the Berlin Wall and the dismemberment of the Soviet Union. The horizon of peace is no longer limited to the West, but … 12 Apr 2023 17:30 to 18:30
Event Gisèle Sapiro Creating an international literary canon. Roger Caillois and UNESCO's " Representative Works" program Seminar Abstract After the Second World War, Roger Caillois played a key role within UNESCO in the creation of a world heritage of literature. One of his initiatives was to have the classics translated, which involved drawing up a list of them, identifying the … 21 Mar 2023 18:00 to 19:00
Event Martin Rueff Rousseau and proper names : a philological study Seminar Abstract Literature is both the power and the enactment of the properties of language, but it realizes only some of them. The case of Rousseau shows that the proper name takes on three essential values for him, and constitutes one of the focal points of … 21 Mar 2023 17:00 to 18:00
Event William Marx The Mallarmé Peak funicular Lecture Abstract While Paul Valéry's criticism in the years 1920 focused on the commercial value of his work (the relationship between actual work and the price of publications), it also concerned his intellectual value. This offensive against the work itself, … 21 Mar 2023 16:00 to 17:00
Event Claudine Tiercelin Skepticism and knowledge : new challenges (2) Lecture 21 Mar 2023 14:00 to 16:00
Event Edith Heard The impact of inactive X- and Y-linked gene expression on sex differences Lecture Documents and media Download support … 20 Mar 2023 10:00 to 12:30
Event Dominique Charpin Families in turmoil Lecture Internal difficulties within couples could lead to divorce. A family's worsening economic situation sometimes resulted in the pledging of certain members, or even imprisonment for debt. In the event of military defeat, whole families were sometimes … 20 Mar 2023 11:00 to 12:00
Event Phượng Bùi Trân From political power to cultural contributions, Vietnamese women up to the mid-19th century Lecture Abstract With the consolidation of the centralized state around the Three Readings of Buddhism, Confucianism and Taoism (tam giáo ) , and the predominance of Confucianism from the 15th century onwards, women lost their political prerogatives over time. … 20 Mar 2023 11:00 to 12:00
Event Vincent Devictor Variations on the theme of the dying living : appropriation, domination, exploitation Seminar Abstract " Hide the causes of the crisis from us . I propose to examine together another way of reading the ecological crisis. Not by exposing the symptoms that scientific ecology has been scrutinizing for decades, but rather by identifying what … 20 Mar 2023 11:00 to 12:00
Series End of the month and end of the world : how to reconcile economy and ecology ? Christian Gollier, chair Avenir Commun Durable Seminar 05 Jan 2022 → 23 Feb 2022
Event Virginie Courtier-Orgogozo Domestication Lecture History of domestication. How domestication changed our perception of the living world. GMOs. Genetic forcing. Documents and media Download … 20 Mar 2023 10:00 to 11:00
Series End of the month and end of the world : how to reconcile economy and ecology ? Christian Gollier, chair Avenir Commun Durable Lecture While there is a strong consensus on the necessity and urgency of taking vigorous action to combat climate change, there is still total confusion at both political and public level as to how this can be achieved, in particular by adapting or … 05 Jan 2022 → 23 Feb 2022
