Share Facebook LinkedIn Bluesky Threads Copy url Search results Search 27042 results Filters Content type Content type Lessons (23117) News (1611) People (1329) Chair (352) Editions (344) Page (230) Research (27) Library (14) Annual Chair (12) Award (6) Event Timothy Bourke Formal verification of a Lustre compiler Seminar Abstract The seminar focused on the formalization and proof in Coq of an imperative code generator for a kernel of the Lustre language. Such formal verification could usefully complement the official certification methods currently employed for SCADE 6, … 21 Mar 2018 17:30 - 18:30 Event Gérard Berry Clock gating, multi-clocks, implementation and optimization Lecture Abstract This lecture first studied the insertion of Esterel programs (or synchronous programs in general) into arbitrary execution environments, detailing the various ways in which events can be received or sent by an execution machine linking the … 21 Mar 2018 16:00 - 17:30 Event Philippe Descola The composition of collectives: forms of hybridization (8) Lecture 21 Mar 2018 14:00 - 15:00 Event Jean-Noël Robert Dôgen's Chinese poems (1) Lecture 20 Mar 2018 10:30 - 11:30 Event Patrick Boucheron The Bernabò case 3. Tyranny's feast Lecture To understand the relationships between equitable tyranny, cruelty and the exercise of judicial power in the fictional posterity of Bernabò Visconti, and as an extension of the reflections developed in the previous year's lecture on the imaginary of … 20 Mar 2018 11:00 - 12:00 Event Patrice Simon Controlling the electrode/electrolyte interface in supercapacitor electrodes : the key to performance Seminar Supercapacitors are electrochemical energy storage systems that offer intermediate performance between batteries and capacitors. They are capable of delivering high power for times of tens of seconds, making them complementary to batteries. … 19 Mar 2018 17:30 - 18:30 Event Alain de Libera Destructionis destructio (II) : existence and truth (7) Lecture After a development on the relations "being in a subject" (ἐν ὑποκειμένῳ εἶναι ), "being said of a subject" (καθ' ὑποκειμένου λέγεσθαι ), and their articulation in Ammonius' "square", we have taken up the text of 16b9-10 from which we have proposed the … 19 Mar 2018 17:00 - 19:00 Event Jean-Marie Tarascon The all-solid-state battery : the state of the art, recent developments, why the sudden craze ? Lecture The all-solid-state battery continues to be the subject of media announcements by electric vehicle manufacturers (Toyota, BMW, Renault-Nissan...), who predict that by 2022, the all-solid-state battery could be competing with Tesla vehicles. We recall, … 19 Mar 2018 16:30 - 17:30 Event Anne Fagot-Largeault Biological diversity vs. human equality Lecture Documents and media Download support … 17 Feb 2005 10:30 - 12:30 News BREAK - Ukraine Solidarity Collège de France PAUSE - National emergency program for scientists and artists in exile The Collège de France supports the PAUSE program in its solidarity action for Ukrainian scientists in danger. The PAUSE program is launching a special appeal for emergency aid to … Published on 2 March 2022 Event Guillaume Kientz Velázquez in Italy: rhetoric and reflexivity Seminar Documents and media Download Guillaume Kientz biography … 16 Mar 2018 11:00 - 12:00 Event Anne Fagot-Largeault Biotechnologies Lecture Documents and media Download support … 10 Feb 2005 10:30 - 12:30 Event Victor Stoichita Velázquez, the Pope, the slave Lecture 16 Mar 2018 10:00 - 11:00 Event Camille Horbez Asymptotic geometry of the group of exterior automorphisms of a free group (1) Guest lecturer 10 Jan 2018 14:00 - 16:00 Event Stéphane Huot Human-machine interaction Seminar Abstract Long before the advent of personal computers, the Internet and smartphones, Human-Computer Interaction (HCI) was already a concern at the heart of some of the visions that helped forge modern computing, whether personal or professional. However, … 31 Jan 2018 17:30 - 18:30 Event Gérard Berry Digital photography, a perfect example of the power of computers Lecture Documents and media Download support Download support (pptx) Abstract The digital camera is an excellent example of the current evolution of cyber-physical systems, i.e. systems intimately coupling mechanics, physics, electronics and software. It is also … 31 Jan 2018 16:00 - 17:30 Event Anne Fagot-Largeault The project of a philosophical anthropology today : from knowledge to responsibility Lecture Documents and media Download support … 3 Feb 2005 10:30 - 12:30 Event Edouard Bard The climate of the last millennium in Europe and the Arctic Lecture Observation series and models can be geographically restricted to Europe. A model-data comparison over the last millennium still shows a correspondence with the OCM and PAG periods, superimposed on which are secular variations of around 0.5°C in … 16 Mar 2018 15:00 - 16:00 Event Benoit Perthame PDEs for neural networks : models, analysis and behavior Seminar 16 Mar 2018 11:15 - 12:45 Event Pierre-Michel Menger Differences, talent and education : positions and controversies on egalitarianism (Helvétius, Diderot, Rousseau, Smith) (1) Lecture 16 Mar 2018 10:00 - 12:00 Event Frantz Grenet Central Asian communities in China, 3rd-8th c. : social role, religions, art (8) Lecture 15 Mar 2018 15:30 - 16:30 News The legal imagination, collective representations, habits and customs Alain Supiot, chair The Social State and Globalization: A Legal Analysis of Forms of Solidarity In 1721, Montesquieu drew a critical portrait of his times in Lettres persanes . Under the guise of a factitious foreign viewpoint, he already manifested the spirit of the laws that would occupy him so much a few years later. On the occasion of the … Published on 1 March 2022 Event Thomas Römer The loss of the Ark and the end of the sanctuary at Shiloh (1 Samuel 4) (2) Lecture Documents and media Download support … 15 Mar 2018 14:00 - 15:00 Event Vinciane Pirenne-Delforge Νομίζειν τοὺς θεούς : recognizing and honoring the gods Lecture Abstract Did the Greeks believe in their gods ? The question may seem curious, but it raises the issue of " belief " in a polytheistic context. The lecture opens with a brief historiographical survey, calling on Émile Durkheim, Rodney Needham and Jean … 15 Mar 2018 11:00 - 12:00 Pagination First page Previous page … Page 532 Page 533 Page 534 Page 535 Current page 536 Page 537 Page 538 Page 539 Page 540 … Next page Last page
Event Timothy Bourke Formal verification of a Lustre compiler Seminar Abstract The seminar focused on the formalization and proof in Coq of an imperative code generator for a kernel of the Lustre language. Such formal verification could usefully complement the official certification methods currently employed for SCADE 6, … 21 Mar 2018 17:30 - 18:30
Event Gérard Berry Clock gating, multi-clocks, implementation and optimization Lecture Abstract This lecture first studied the insertion of Esterel programs (or synchronous programs in general) into arbitrary execution environments, detailing the various ways in which events can be received or sent by an execution machine linking the … 21 Mar 2018 16:00 - 17:30
Event Philippe Descola The composition of collectives: forms of hybridization (8) Lecture 21 Mar 2018 14:00 - 15:00
Event Patrick Boucheron The Bernabò case 3. Tyranny's feast Lecture To understand the relationships between equitable tyranny, cruelty and the exercise of judicial power in the fictional posterity of Bernabò Visconti, and as an extension of the reflections developed in the previous year's lecture on the imaginary of … 20 Mar 2018 11:00 - 12:00
Event Patrice Simon Controlling the electrode/electrolyte interface in supercapacitor electrodes : the key to performance Seminar Supercapacitors are electrochemical energy storage systems that offer intermediate performance between batteries and capacitors. They are capable of delivering high power for times of tens of seconds, making them complementary to batteries. … 19 Mar 2018 17:30 - 18:30
Event Alain de Libera Destructionis destructio (II) : existence and truth (7) Lecture After a development on the relations "being in a subject" (ἐν ὑποκειμένῳ εἶναι ), "being said of a subject" (καθ' ὑποκειμένου λέγεσθαι ), and their articulation in Ammonius' "square", we have taken up the text of 16b9-10 from which we have proposed the … 19 Mar 2018 17:00 - 19:00
Event Jean-Marie Tarascon The all-solid-state battery : the state of the art, recent developments, why the sudden craze ? Lecture The all-solid-state battery continues to be the subject of media announcements by electric vehicle manufacturers (Toyota, BMW, Renault-Nissan...), who predict that by 2022, the all-solid-state battery could be competing with Tesla vehicles. We recall, … 19 Mar 2018 16:30 - 17:30
Event Anne Fagot-Largeault Biological diversity vs. human equality Lecture Documents and media Download support … 17 Feb 2005 10:30 - 12:30
News BREAK - Ukraine Solidarity Collège de France PAUSE - National emergency program for scientists and artists in exile The Collège de France supports the PAUSE program in its solidarity action for Ukrainian scientists in danger. The PAUSE program is launching a special appeal for emergency aid to … Published on 2 March 2022
Event Guillaume Kientz Velázquez in Italy: rhetoric and reflexivity Seminar Documents and media Download Guillaume Kientz biography … 16 Mar 2018 11:00 - 12:00
Event Anne Fagot-Largeault Biotechnologies Lecture Documents and media Download support … 10 Feb 2005 10:30 - 12:30
Event Camille Horbez Asymptotic geometry of the group of exterior automorphisms of a free group (1) Guest lecturer 10 Jan 2018 14:00 - 16:00
Event Stéphane Huot Human-machine interaction Seminar Abstract Long before the advent of personal computers, the Internet and smartphones, Human-Computer Interaction (HCI) was already a concern at the heart of some of the visions that helped forge modern computing, whether personal or professional. However, … 31 Jan 2018 17:30 - 18:30
Event Gérard Berry Digital photography, a perfect example of the power of computers Lecture Documents and media Download support Download support (pptx) Abstract The digital camera is an excellent example of the current evolution of cyber-physical systems, i.e. systems intimately coupling mechanics, physics, electronics and software. It is also … 31 Jan 2018 16:00 - 17:30
Event Anne Fagot-Largeault The project of a philosophical anthropology today : from knowledge to responsibility Lecture Documents and media Download support … 3 Feb 2005 10:30 - 12:30
Event Edouard Bard The climate of the last millennium in Europe and the Arctic Lecture Observation series and models can be geographically restricted to Europe. A model-data comparison over the last millennium still shows a correspondence with the OCM and PAG periods, superimposed on which are secular variations of around 0.5°C in … 16 Mar 2018 15:00 - 16:00
Event Benoit Perthame PDEs for neural networks : models, analysis and behavior Seminar 16 Mar 2018 11:15 - 12:45
Event Pierre-Michel Menger Differences, talent and education : positions and controversies on egalitarianism (Helvétius, Diderot, Rousseau, Smith) (1) Lecture 16 Mar 2018 10:00 - 12:00
Event Frantz Grenet Central Asian communities in China, 3rd-8th c. : social role, religions, art (8) Lecture 15 Mar 2018 15:30 - 16:30
News The legal imagination, collective representations, habits and customs Alain Supiot, chair The Social State and Globalization: A Legal Analysis of Forms of Solidarity In 1721, Montesquieu drew a critical portrait of his times in Lettres persanes . Under the guise of a factitious foreign viewpoint, he already manifested the spirit of the laws that would occupy him so much a few years later. On the occasion of the … Published on 1 March 2022
Event Thomas Römer The loss of the Ark and the end of the sanctuary at Shiloh (1 Samuel 4) (2) Lecture Documents and media Download support … 15 Mar 2018 14:00 - 15:00
Event Vinciane Pirenne-Delforge Νομίζειν τοὺς θεούς : recognizing and honoring the gods Lecture Abstract Did the Greeks believe in their gods ? The question may seem curious, but it raises the issue of " belief " in a polytheistic context. The lecture opens with a brief historiographical survey, calling on Émile Durkheim, Rodney Needham and Jean … 15 Mar 2018 11:00 - 12:00
