Share Facebook LinkedIn Bluesky Threads Copy url Search results Search 28041 results Filters Content type Content type Lessons (23960) News (1717) People (1359) Chair (359) Editions (357) Page (230) Research (27) Library (14) Annual Chair (12) Award (6) Event Carlo Ossola Paradigms for a metaphorology II : Words of ice and snow (9) Lecture 23 Mar 2016 17:00 to 18:00 Series Cyclic homology and local L-function factors Alain Connes, chair Analysis and geometry Lecture 10 Jan 2013 → 14 Mar 2013 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 to 18: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 to 12:00 Event Philippe Descola The uses of land. Cosmopolitics of territoriality (4) Lecture 23 Mar 2016 14:00 to 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 to 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 to 17:30 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 to 11: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 to 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 to 12:00 Series What is the name of the poet ? Michel Zink, chair Literatures of medieval France Lecture 09 Jan 2013 → 06 Mar 2013 Series Democracy : outline of a general theory (continued) Pierre Rosanvallon, chair Modern and contemporary history of politics Lecture 09 Jan 2013 → 06 Feb 2013 Series What is the name of the poet ? Michel Zink, chair Literatures of medieval France Seminar 09 Jan 2013 → 27 Feb 2013 Event Gabriel Synnaeve Speech recognition Seminar 4 Mar 2016 12:00 to 13:00 Event Yann LeCun Convolutional networks Lecture 4 Mar 2016 11:00 to 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 to 17:00 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 to 11:30 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 to 10:45 Series Proust in 1913 Antoine Compagnon, chair Modern and contemporary French literature : history, criticism, theory Lecture 08 Jan 2013 → 09 Apr 2013 Series Medieval Japanese poems about deities Jean-Noël Robert, chair Philology of Japanese civilization Lecture 08 Jan 2013 → 09 Apr 2013 Event Edith Heard Epigenetic pathways in cancer (I) Lecture Documents and media Download support … 21 Mar 2016 16:00 to 17:30 Event Nicolas Grimal The annals of Thutmosis III (continued) (12) Seminar 21 Mar 2016 15:00 to 16:00 Event Nicolas Grimal Le calame et la pierre. A critical history of ancient Egyptian literature (continued) (12) Lecture 21 Mar 2016 14:00 to 15:00 Series The annals of Thutmosis III (continued) Nicolas Grimal, chair Pharaonic civilization : Archaeology, Philology, History Seminar 07 Jan 2013 → 15 Apr 2013 Pagination First page « First Previous page ‹‹ … Page 693 Page 694 Page 695 Page 696 Page 697 Page 698 Page 699 Page 700 Page 701 … Next page ›› Last page Last »
Event Carlo Ossola Paradigms for a metaphorology II : Words of ice and snow (9) Lecture 23 Mar 2016 17:00 to 18:00
Series Cyclic homology and local L-function factors Alain Connes, chair Analysis and geometry Lecture 10 Jan 2013 → 14 Mar 2013
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 to 18: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 to 12:00
Event Philippe Descola The uses of land. Cosmopolitics of territoriality (4) Lecture 23 Mar 2016 14:00 to 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 to 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 to 17:30
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 to 11: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 to 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 to 12:00
Series What is the name of the poet ? Michel Zink, chair Literatures of medieval France Lecture 09 Jan 2013 → 06 Mar 2013
Series Democracy : outline of a general theory (continued) Pierre Rosanvallon, chair Modern and contemporary history of politics Lecture 09 Jan 2013 → 06 Feb 2013
Series What is the name of the poet ? Michel Zink, chair Literatures of medieval France Seminar 09 Jan 2013 → 27 Feb 2013
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 to 17:00
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 to 11:30
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 to 10:45
Series Proust in 1913 Antoine Compagnon, chair Modern and contemporary French literature : history, criticism, theory Lecture 08 Jan 2013 → 09 Apr 2013
Series Medieval Japanese poems about deities Jean-Noël Robert, chair Philology of Japanese civilization Lecture 08 Jan 2013 → 09 Apr 2013
Event Edith Heard Epigenetic pathways in cancer (I) Lecture Documents and media Download support … 21 Mar 2016 16:00 to 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 to 15:00
Series The annals of Thutmosis III (continued) Nicolas Grimal, chair Pharaonic civilization : Archaeology, Philology, History Seminar 07 Jan 2013 → 15 Apr 2013