Share Facebook LinkedIn Bluesky Threads Copy url Search results Search 28032 results Filters Content type Content type Lessons (23955) News (1713) People (1359) Chair (359) Editions (357) Page (230) Research (27) Library (14) Annual Chair (12) Award (6) Event Yannick Moy Auto-active proof of programs in SPARK Seminar Abstract SPARK is an open source program proof technology based on data flow analysis and deductive verification for programs written in the Ada programming language. SPARK is co-developed by AdaCore, Altran and Inria, and marketed by AdaCore in various … 18 Mar 2021 11:15 to 12:15 Event Xavier Leroy Pointers and data structures : separation logic Lecture Abstract In the third lecture, we studied data structures and the verification of programs that manipulate them. Arrays are the oldest of data structures. A simple extension of Hoare's logic with a rule for assignment to an element of an array makes it … 18 Mar 2021 09:30 to 11:00 Event Jean-Louis Cohen Source cities : Ancient and Renaissance Rome Lecture 17 Mar 2021 18:00 to 19:00 Series Patient research : rediscovering Le Corbusier Jean-Louis Cohen, chair Architecture and urban form Symposium Le Corbusier's theories and inventions in fields as diverse as architecture, urban planning, painting and sculpture have been the subject of a considerable number of historical and critical works, against a backdrop of increasingly meticulous biographical … 13 Jun 2019 Event Patrick Boucheron The story of its silences : The whole world of the plague Lecture Can and should we fill in the blanks on the map of the epidemic's spread in Eurasia? By questioning the documentary silences of China, India and sub-Saharan Africa, we suggest that the archipelagic world of the Black Death should be apprehended between … 16 Mar 2021 11:00 to 12:00 Series Museotopia. Reflections on the future of museums in Africa Bénédicte Savoy, chair Cultural history of art heritage in Europe, 18th-20th centuries Symposium International symposium organized by Benedicte Savoy and Felwine Sarr. In a major volume published in 2009, Réinventer les musées , the current curator of the Musée Théodore Monod in Dakar, El Hadj Malick Ndiaye, wondered how African countries could " … 11 Jun 2019 Event Frantz Grenet et Ching Chao-jung New approach to Chinese sources (mainly Tongdian) on Central Asia west of the Pamirs (4) Seminar Knowledge of Chinese is not required. … 12 Mar 2021 10:30 to 12:00 Event Pierre-Michel Menger The business around the work Lecture Genetic materials, evolving editorial doctrines, changing attributions of value and meaning: the durability of works through the prism of their … 12 Mar 2021 10:00 to 12:00 Event Carl Philip Heisenberg Cell and Tissue Mechanics in Zebrafish Embryogenesis Seminar 15 Mar 2021 15:45 to 16:45 Event Dominique Larcher The Zn/MnO2 system : exemplary chemistry and history Seminar Initially proposed in 1868 by Georges Leclanché, the Zn/MnO2 battery concept has undergone numerous modifications and constant improvements up to the present day, when the latest developments are capable of delivering 130 Wh/kg (320 Wh/L). They are … 15 Mar 2021 15:00 to 16:00 Event Jean-Marie Tarascon Other sensors and introduction to self-repairing batteries Lecture To conclude our overview of optical sensors, we'd like to talk about thermo-luminescent probes, whose operating principle is based on the deposition of nanometric thermo-luminescent materials on an optical fiber, which can then be injected into batteries. … 15 Mar 2021 14:00 to 15:00 Event Jean-François Joanny Active tissue behavior Lecture Documents and media Download support Download lecture notes References A Doostmohammadi, SP Thampi, TB Saw, CT Lim, B Ladoux, ... Soft Matter 11 (37), 7328-7336 (201 Celebrating Soft Matter's 10th Anniversary: Cell division: a source of active stress in … 15 Mar 2021 14:00 to 15:30 Event Edith Heard Maintaining cellular identity in non-proliferative cells Lecture Documents and media Download support … 15 Mar 2021 10:00 to 12:00 Event Frantz Grenet Royal themes (3) Lecture 11 Mar 2021 15:30 to 16:30 Event Jean-Luc Fournet Study of Byzantine papyri in relation to lecture topic (4) Seminar 11 Mar 2021 15:30 to 17:00 Event Thomas Römer Archaeology and the Bible : a dangerous liaison ? Lecture Documents and media Download support … 11 Mar 2021 14:00 to 15:00 Event Vinciane Pirenne-Delforge Hieros : the city and sacrifice Lecture Abstract Nearly half of all poetic occurrences of hieros associate it with a place name, be it a city such as Troy or Thebes, or an island. Any polis is likely to be described in this way in the poets' verses, as a social space and, consequently, a … 11 Mar 2021 11:00 to 12:00 News Catherine Llorens-Cortes, winner of the 2023 Science Applications Medal Center for Interdisciplinary Research in Biology (CIRB) Catherine Llorens-Cortes, winner of the 2023 Médaille des Applications des Sciences awarded by the French Academy of Sciences , neuropharmacologist, Inserm Emeritus Research Director and member of the European Academy of Sciences, headed the Laboratoire … Published on 17 October 2023 Event Dario Mantovani Equity and the challenge of equality (2) : Cato the Elder, the individual, glory and honors Lecture What is the relationship between the right to water and the right to vote? And between the categories of political philosophy and the rules of coexistence established by a rural community in a peripheral region of the Roman Empire? Everything hinges on … 10 Mar 2021 14:30 to 15:30 Event Jean-Luc Fournet Dioscore's library in Aphrodité (1) Lecture From a jar found in 1905 by Gustave Lefebvre in the Middle Egyptian village of Aphrodité, the Dioscore d'Aphrodité library is the only one of those examined that does not come from a city. It is also the one whose owner is best known : Dioscore, a notary … 10 Mar 2021 11:00 to 12:00 Event Max Kistler Natural species, causal profile and multiple constitution Seminar It is possible to conceive of the identity of a natural species in terms of its causal profile. Such a conception corresponds better to science than two other possible options. The identity of a natural species is not determined by a single causal role 1) … 9 Mar 2021 16:30 to 18:30 Event Martine Jey Building the school canon, building literature Seminar Abstract The seminar looked at the evolution of the French school canon between the 19th and 20th centuries , and more specifically at the criteria used to select authors within the canon, as well as the bodies responsible for its consecration. Documents … 9 Mar 2021 15:30 to 16:30 Event William Marx What are catalogs thinking about? Lecture Abstract Classification is the founding act of all thought. In Penser/Classer , Perec found a middle way between the sentimental, memorial catalog and the library catalog, which corresponded to his professional life. Unable to put books away properly, … 9 Mar 2021 14:30 to 15:30 Event Claudine Tiercelin For a Peircian-inspired realist semiotics (1) Icons, clues, symbols, objects and interpreters : drawing on the wealth of signs to anchor ourselves in the world Lecture Documents and media Download support … 9 Mar 2021 14:00 to 16:00 Pagination First page « First Previous page ‹‹ … Page 394 Page 395 Page 396 Page 397 Page 398 Page 399 Page 400 Page 401 Page 402 … Next page ›› Last page Last »
Event Yannick Moy Auto-active proof of programs in SPARK Seminar Abstract SPARK is an open source program proof technology based on data flow analysis and deductive verification for programs written in the Ada programming language. SPARK is co-developed by AdaCore, Altran and Inria, and marketed by AdaCore in various … 18 Mar 2021 11:15 to 12:15
Event Xavier Leroy Pointers and data structures : separation logic Lecture Abstract In the third lecture, we studied data structures and the verification of programs that manipulate them. Arrays are the oldest of data structures. A simple extension of Hoare's logic with a rule for assignment to an element of an array makes it … 18 Mar 2021 09:30 to 11:00
Event Jean-Louis Cohen Source cities : Ancient and Renaissance Rome Lecture 17 Mar 2021 18:00 to 19:00
Series Patient research : rediscovering Le Corbusier Jean-Louis Cohen, chair Architecture and urban form Symposium Le Corbusier's theories and inventions in fields as diverse as architecture, urban planning, painting and sculpture have been the subject of a considerable number of historical and critical works, against a backdrop of increasingly meticulous biographical … 13 Jun 2019
Event Patrick Boucheron The story of its silences : The whole world of the plague Lecture Can and should we fill in the blanks on the map of the epidemic's spread in Eurasia? By questioning the documentary silences of China, India and sub-Saharan Africa, we suggest that the archipelagic world of the Black Death should be apprehended between … 16 Mar 2021 11:00 to 12:00
Series Museotopia. Reflections on the future of museums in Africa Bénédicte Savoy, chair Cultural history of art heritage in Europe, 18th-20th centuries Symposium International symposium organized by Benedicte Savoy and Felwine Sarr. In a major volume published in 2009, Réinventer les musées , the current curator of the Musée Théodore Monod in Dakar, El Hadj Malick Ndiaye, wondered how African countries could " … 11 Jun 2019
Event Frantz Grenet et Ching Chao-jung New approach to Chinese sources (mainly Tongdian) on Central Asia west of the Pamirs (4) Seminar Knowledge of Chinese is not required. … 12 Mar 2021 10:30 to 12:00
Event Pierre-Michel Menger The business around the work Lecture Genetic materials, evolving editorial doctrines, changing attributions of value and meaning: the durability of works through the prism of their … 12 Mar 2021 10:00 to 12:00
Event Carl Philip Heisenberg Cell and Tissue Mechanics in Zebrafish Embryogenesis Seminar 15 Mar 2021 15:45 to 16:45
Event Dominique Larcher The Zn/MnO2 system : exemplary chemistry and history Seminar Initially proposed in 1868 by Georges Leclanché, the Zn/MnO2 battery concept has undergone numerous modifications and constant improvements up to the present day, when the latest developments are capable of delivering 130 Wh/kg (320 Wh/L). They are … 15 Mar 2021 15:00 to 16:00
Event Jean-Marie Tarascon Other sensors and introduction to self-repairing batteries Lecture To conclude our overview of optical sensors, we'd like to talk about thermo-luminescent probes, whose operating principle is based on the deposition of nanometric thermo-luminescent materials on an optical fiber, which can then be injected into batteries. … 15 Mar 2021 14:00 to 15:00
Event Jean-François Joanny Active tissue behavior Lecture Documents and media Download support Download lecture notes References A Doostmohammadi, SP Thampi, TB Saw, CT Lim, B Ladoux, ... Soft Matter 11 (37), 7328-7336 (201 Celebrating Soft Matter's 10th Anniversary: Cell division: a source of active stress in … 15 Mar 2021 14:00 to 15:30
Event Edith Heard Maintaining cellular identity in non-proliferative cells Lecture Documents and media Download support … 15 Mar 2021 10:00 to 12:00
Event Jean-Luc Fournet Study of Byzantine papyri in relation to lecture topic (4) Seminar 11 Mar 2021 15:30 to 17:00
Event Thomas Römer Archaeology and the Bible : a dangerous liaison ? Lecture Documents and media Download support … 11 Mar 2021 14:00 to 15:00
Event Vinciane Pirenne-Delforge Hieros : the city and sacrifice Lecture Abstract Nearly half of all poetic occurrences of hieros associate it with a place name, be it a city such as Troy or Thebes, or an island. Any polis is likely to be described in this way in the poets' verses, as a social space and, consequently, a … 11 Mar 2021 11:00 to 12:00
News Catherine Llorens-Cortes, winner of the 2023 Science Applications Medal Center for Interdisciplinary Research in Biology (CIRB) Catherine Llorens-Cortes, winner of the 2023 Médaille des Applications des Sciences awarded by the French Academy of Sciences , neuropharmacologist, Inserm Emeritus Research Director and member of the European Academy of Sciences, headed the Laboratoire … Published on 17 October 2023
Event Dario Mantovani Equity and the challenge of equality (2) : Cato the Elder, the individual, glory and honors Lecture What is the relationship between the right to water and the right to vote? And between the categories of political philosophy and the rules of coexistence established by a rural community in a peripheral region of the Roman Empire? Everything hinges on … 10 Mar 2021 14:30 to 15:30
Event Jean-Luc Fournet Dioscore's library in Aphrodité (1) Lecture From a jar found in 1905 by Gustave Lefebvre in the Middle Egyptian village of Aphrodité, the Dioscore d'Aphrodité library is the only one of those examined that does not come from a city. It is also the one whose owner is best known : Dioscore, a notary … 10 Mar 2021 11:00 to 12:00
Event Max Kistler Natural species, causal profile and multiple constitution Seminar It is possible to conceive of the identity of a natural species in terms of its causal profile. Such a conception corresponds better to science than two other possible options. The identity of a natural species is not determined by a single causal role 1) … 9 Mar 2021 16:30 to 18:30
Event Martine Jey Building the school canon, building literature Seminar Abstract The seminar looked at the evolution of the French school canon between the 19th and 20th centuries , and more specifically at the criteria used to select authors within the canon, as well as the bodies responsible for its consecration. Documents … 9 Mar 2021 15:30 to 16:30
Event William Marx What are catalogs thinking about? Lecture Abstract Classification is the founding act of all thought. In Penser/Classer , Perec found a middle way between the sentimental, memorial catalog and the library catalog, which corresponded to his professional life. Unable to put books away properly, … 9 Mar 2021 14:30 to 15:30
Event Claudine Tiercelin For a Peircian-inspired realist semiotics (1) Icons, clues, symbols, objects and interpreters : drawing on the wealth of signs to anchor ourselves in the world Lecture Documents and media Download support … 9 Mar 2021 14:00 to 16:00
