Share Facebook LinkedIn Bluesky Threads Copy url Search results Search 23438 results Filters Content type Content type (-) Lessons (23086) News (1600) People (1327) (-) Chair (352) Editions (343) Page (230) Research (26) Library (14) Annual Chair (12) Award (6) Active filters Lessons Chair Event Sylvain Conchon SMT in practice : the Alt-Ergo demonstrator Seminar Documents and media Download support Abstract In this talk, we present the design and use cases of the Alt-Ergo automatic demonstrator. Alt-Ergo is a demonstrator from the SMT family specially designed to prove the validity of logic formulas generated by … 23 Mar 2016 17:30 - 18:30 Event Philippe Descola The uses of land. Cosmopolitics of territoriality (4) Lecture 23 Mar 2016 14:00 - 15:00 Event Claudine Tiercelin Responsibility, epistemic virtues and moral virtues Lecture Lecture 4 (March 23) continued the assessment of the responsibilityist axis of virtue epistemology, by clarifying the position defended by L. Zagzebski in Virtues of the Mind [1] , for whom knowledge, like justified belief, is founded in intellectual … 23 Mar 2016 14:30 - 16:00 Event Gérard Berry SMT : satisfaction modulo theories Lecture Documents and media Download support Download support (pptx) Abstract Satisfiability modulo theories (SMT) are concerned with mathematical formulas that combine propositional logic and decidable (or sometimes semi-decidable) mathematical theories: … 23 Mar 2016 16:00 - 17:30 Event Patrick Boucheron The communal remembrance dispute Lecture The bas-reliefs in the Porta romana are more confusions than designations, more memorial concatenations than precise recollections. We see the patriotic echo of the Battle of Legnano (May 29, 1176) and the return of Ambrose in the guise of Archbishop … 15 Feb 2016 11:00 - 12:00 Event Elizabeth Lojou Biocatalysts in fuel cells : why, how ? Seminar Abstract Fuel cells offer an alternative to fossil fuels for electricity generation. However, the need to use rare, and all too easily contaminated, metals to catalyze the reactions that convert chemical energy into electrical energy remains an obstacle … 23 Mar 2016 11:00 - 12:00 Event Jean-Luc Fournet Arabic versus Greek (3) : Arabo-Greek entagia (tax payment orders) and the symbolic presence of Arabic - an administration still dependent on Greek speakers - the private use of Arabic in the 7th century - assessment of Arabization in the 7th century according to papyri Lecture One of the most revealing types of documentary evidence of the Arabization of the administration is the entagion , a payment order sent by the administration to a community or an individual. Entagia operated on several levels. The governor sent entagia … 23 Mar 2016 11:00 - 12:00 Event Marc Fontecave Biotechnologies for energy storage: bioelectrodes and bioelectrochemical devices Lecture Abstract Following the discussion of electrochemical systems based on microorganisms (lecture no. 2), this lecture looks at bioelectrodes and biopiles built from enzymatic systems. This is not a new field, since a large number of biopiles already exist, … 23 Mar 2016 10:00 - 11:00 Event Gabriel Synnaeve Speech recognition Seminar 4 Mar 2016 12:00 - 13:00 Event Yann LeCun Convolutional networks Lecture 4 Mar 2016 11:00 - 12:00 Event Jean-Louis Mandel Théâtre Mon nom est Némo written and performed by Marko Mayerl, directed by Keith Hitchcock Lecture The show is followed by a seminar with Prof. Emmanuel Jacquemin at 5pm. … 22 Mar 2016 15:00 - 17:00 Event Jeseong Park The concept of Chaebol and joint and several liability in Korean labor law Seminar After a long military dictatorship which ended in June 1987 , Korean labor law went through a period of euphoria, during which trade unionism developed rapidly. The dream was of a politically democratized, economically developed and socially protected … 22 Mar 2016 09:15 - 10:45 Event Jean-Noël Robert Language, Poetry, Awakening : the language universe of Senjûshô (" Extracts from a florilegium ", 13th century) (11) Lecture 22 Mar 2016 10:30 - 11:30 Event Nicolas Grimal The annals of Thutmosis III (continued) (12) Seminar 21 Mar 2016 15:00 - 16:00 Event Edith Heard Epigenetic pathways in cancer (I) Lecture Documents and media Download support … 21 Mar 2016 16:00 - 17:30 Event Nicolas Grimal Le calame et la pierre. A critical history of ancient Egyptian literature (continued) (12) Lecture 21 Mar 2016 14:00 - 15:00 Event Alain Gaudric Evolution of retinal imaging : from the fundus to the cell (1) Seminar Documents and media Download Alain Gaudric's biography … 2 Mar 2016 11:30 - 12:00 Event José-Alain Sahel Exploring the retina: the challenges Lecture The history of modern ophthalmology began with the discovery of the ophthalmoscope by Hermann von Helmholtz in 1851. This device made it possible to examine the fundus with precision, and to observe the retina and its vessels, the optic disc (head of the … 2 Mar 2016 10:30 - 11:30 Event Frantz Grenet Marriage and households from Bactrian, Sogdian and Chorasmian documents, 3rd-8th c. (3) Seminar 26 Feb 2016 10:00 - 12:00 Series On the measurement of time and other topics related to the control of isolated quantum particles Serge Haroche, chair Quantum physics Seminar Each of the six lessons was followed by a seminar. Several focused on the precise measurement of time, which was originally intended to be the theme of the year's lecture. One of the seminars was given by David Wineland, co-recipient of the 2012 Nobel … 12 Mar 2013 → 16 Apr 2013 Series Controlling isolated quantum particles Serge Haroche, chair Quantum physics Lecture The lecture originally planned was on the measurement of time in quantum physics. Circumstances have led to a change of theme. However, several seminars, including one by David Wineland (NIST), will deal with atomic clocks and their applications. The … 12 Mar 2013 → 16 Apr 2013 Event Edouard Bard Methane and paleoclimate change Lecture The synthesis of top-down and bottom-up approaches enables us to assess the fluxes over three decades, characterized by a stabilization in the 1990s, followed by a resumption of the rise in CH4 levels in the 2000s. The most likely explanation is a … 18 Mar 2016 15:00 - 16:00 Event Djalil Chafaï On the edge of certain interacting particle systems derived from or inspired by random matrix models Seminar 18 Mar 2016 11:15 - 12:30 Event Francisco Jarauta Babel, a modern myth Seminar 17 Mar 2016 10:00 - 12:00 Pagination First page Previous page … Page 533 Page 534 Page 535 Page 536 Current page 537 Page 538 Page 539 Page 540 Page 541 … Next page Last page
Event Sylvain Conchon SMT in practice : the Alt-Ergo demonstrator Seminar Documents and media Download support Abstract In this talk, we present the design and use cases of the Alt-Ergo automatic demonstrator. Alt-Ergo is a demonstrator from the SMT family specially designed to prove the validity of logic formulas generated by … 23 Mar 2016 17:30 - 18:30
Event Philippe Descola The uses of land. Cosmopolitics of territoriality (4) Lecture 23 Mar 2016 14:00 - 15:00
Event Claudine Tiercelin Responsibility, epistemic virtues and moral virtues Lecture Lecture 4 (March 23) continued the assessment of the responsibilityist axis of virtue epistemology, by clarifying the position defended by L. Zagzebski in Virtues of the Mind [1] , for whom knowledge, like justified belief, is founded in intellectual … 23 Mar 2016 14:30 - 16:00
Event Gérard Berry SMT : satisfaction modulo theories Lecture Documents and media Download support Download support (pptx) Abstract Satisfiability modulo theories (SMT) are concerned with mathematical formulas that combine propositional logic and decidable (or sometimes semi-decidable) mathematical theories: … 23 Mar 2016 16:00 - 17:30
Event Patrick Boucheron The communal remembrance dispute Lecture The bas-reliefs in the Porta romana are more confusions than designations, more memorial concatenations than precise recollections. We see the patriotic echo of the Battle of Legnano (May 29, 1176) and the return of Ambrose in the guise of Archbishop … 15 Feb 2016 11:00 - 12:00
Event Elizabeth Lojou Biocatalysts in fuel cells : why, how ? Seminar Abstract Fuel cells offer an alternative to fossil fuels for electricity generation. However, the need to use rare, and all too easily contaminated, metals to catalyze the reactions that convert chemical energy into electrical energy remains an obstacle … 23 Mar 2016 11:00 - 12:00
Event Jean-Luc Fournet Arabic versus Greek (3) : Arabo-Greek entagia (tax payment orders) and the symbolic presence of Arabic - an administration still dependent on Greek speakers - the private use of Arabic in the 7th century - assessment of Arabization in the 7th century according to papyri Lecture One of the most revealing types of documentary evidence of the Arabization of the administration is the entagion , a payment order sent by the administration to a community or an individual. Entagia operated on several levels. The governor sent entagia … 23 Mar 2016 11:00 - 12:00
Event Marc Fontecave Biotechnologies for energy storage: bioelectrodes and bioelectrochemical devices Lecture Abstract Following the discussion of electrochemical systems based on microorganisms (lecture no. 2), this lecture looks at bioelectrodes and biopiles built from enzymatic systems. This is not a new field, since a large number of biopiles already exist, … 23 Mar 2016 10:00 - 11:00
Event Jean-Louis Mandel Théâtre Mon nom est Némo written and performed by Marko Mayerl, directed by Keith Hitchcock Lecture The show is followed by a seminar with Prof. Emmanuel Jacquemin at 5pm. … 22 Mar 2016 15:00 - 17:00
Event Jeseong Park The concept of Chaebol and joint and several liability in Korean labor law Seminar After a long military dictatorship which ended in June 1987 , Korean labor law went through a period of euphoria, during which trade unionism developed rapidly. The dream was of a politically democratized, economically developed and socially protected … 22 Mar 2016 09:15 - 10:45
Event Jean-Noël Robert Language, Poetry, Awakening : the language universe of Senjûshô (" Extracts from a florilegium ", 13th century) (11) Lecture 22 Mar 2016 10:30 - 11:30
Event Edith Heard Epigenetic pathways in cancer (I) Lecture Documents and media Download support … 21 Mar 2016 16:00 - 17:30
Event Nicolas Grimal Le calame et la pierre. A critical history of ancient Egyptian literature (continued) (12) Lecture 21 Mar 2016 14:00 - 15:00
Event Alain Gaudric Evolution of retinal imaging : from the fundus to the cell (1) Seminar Documents and media Download Alain Gaudric's biography … 2 Mar 2016 11:30 - 12:00
Event José-Alain Sahel Exploring the retina: the challenges Lecture The history of modern ophthalmology began with the discovery of the ophthalmoscope by Hermann von Helmholtz in 1851. This device made it possible to examine the fundus with precision, and to observe the retina and its vessels, the optic disc (head of the … 2 Mar 2016 10:30 - 11:30
Event Frantz Grenet Marriage and households from Bactrian, Sogdian and Chorasmian documents, 3rd-8th c. (3) Seminar 26 Feb 2016 10:00 - 12:00
Series On the measurement of time and other topics related to the control of isolated quantum particles Serge Haroche, chair Quantum physics Seminar Each of the six lessons was followed by a seminar. Several focused on the precise measurement of time, which was originally intended to be the theme of the year's lecture. One of the seminars was given by David Wineland, co-recipient of the 2012 Nobel … 12 Mar 2013 → 16 Apr 2013
Series Controlling isolated quantum particles Serge Haroche, chair Quantum physics Lecture The lecture originally planned was on the measurement of time in quantum physics. Circumstances have led to a change of theme. However, several seminars, including one by David Wineland (NIST), will deal with atomic clocks and their applications. The … 12 Mar 2013 → 16 Apr 2013
Event Edouard Bard Methane and paleoclimate change Lecture The synthesis of top-down and bottom-up approaches enables us to assess the fluxes over three decades, characterized by a stabilization in the 1990s, followed by a resumption of the rise in CH4 levels in the 2000s. The most likely explanation is a … 18 Mar 2016 15:00 - 16:00
Event Djalil Chafaï On the edge of certain interacting particle systems derived from or inspired by random matrix models Seminar 18 Mar 2016 11:15 - 12:30