Share Facebook LinkedIn Bluesky Threads Copy url Search results Search 24694 results Filters Content type Content type (-) Lessons (24464) News (1669) People (1350) Chair (359) Editions (351) (-) Page (230) Research (27) Library (14) Annual Chair (12) Award (6) Active filters Lessons Page Event Jean-Luc Fournet Babel on the Nile (3) : multilingualism and multiculturalism in Late Antique Egypt (6) Lecture The Greek-speaking Church : the liturgy (end) Maintaining Greek as the default language of the liturgy obviously made the position of the faithful increasingly uncomfortable. The gap between liturgical usage and their true linguistic mastery grew ever … 21 Mar 2018 11:00 - 12:00 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 Carlo Ossola The tradition of classics : how to inherit (10) Lecture 21 Mar 2018 17:00 - 18:00 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 Jean-Noël Robert Dôgen's Chinese poems (1) Lecture 20 Mar 2018 10:30 - 11:30 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 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 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 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 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 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 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 Event David Berliner Cultural loss and the concern to transmit. Anthropological discussion Seminar 15 Mar 2018 10:00 - 12:00 Event Claire Voisin Hyper-Kählerian varieties : domain and application of periods Lecture 15 Mar 2018 10:00 - 12:00 Event Bénédicte Savoy Expanding the museum field (from the late 1820s to the 1850s) Lecture In the 18th century, scholars and scientists travelled to study the cultures of "others" in situ. The French Revolution and, above all, Napoleon's expeditions, marked the end of a study of the "other" that would leave material evidence of its culture in … 14 Mar 2018 15:30 - 16:30 Pagination First page « First Previous page ‹‹ … Page 473 Page 474 Page 475 Page 476 Page 477 Page 478 Page 479 Page 480 Page 481 … Next page ›› Last page Last »
Event Jean-Luc Fournet Babel on the Nile (3) : multilingualism and multiculturalism in Late Antique Egypt (6) Lecture The Greek-speaking Church : the liturgy (end) Maintaining Greek as the default language of the liturgy obviously made the position of the faithful increasingly uncomfortable. The gap between liturgical usage and their true linguistic mastery grew ever … 21 Mar 2018 11:00 - 12:00
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 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 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 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 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 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
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
Event David Berliner Cultural loss and the concern to transmit. Anthropological discussion Seminar 15 Mar 2018 10:00 - 12:00
Event Claire Voisin Hyper-Kählerian varieties : domain and application of periods Lecture 15 Mar 2018 10:00 - 12:00
Event Bénédicte Savoy Expanding the museum field (from the late 1820s to the 1850s) Lecture In the 18th century, scholars and scientists travelled to study the cultures of "others" in situ. The French Revolution and, above all, Napoleon's expeditions, marked the end of a study of the "other" that would leave material evidence of its culture in … 14 Mar 2018 15:30 - 16:30