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 (27) Library (14) Annual Chair (12) Award (6) Active filters Lessons Chair Event Chantal Keller Towards safe and expressive automation : combining automatic and interactive proofs Seminar Documents and media Download support Abstract In previous lectures and seminars, we have explored the diversity of proofers, each with its own degree of automation, expressiveness and safety. In this talk, I will present various approaches to combining … 13 Apr 2016 16:00 - 17:00 Event Philippe Descola The uses of land. Cosmopolitics of territoriality (7) Lecture 13 Apr 2016 14:00 - 15:00 Event Jean-Christophe Yoccoz Non-uniform hyperbolicity for multidimensional perturbations of quadratic polynomials (3) Lecture Documents and media Download support … 13 Apr 2016 10:00 - 11:00 Event Marc Delcourt Global Bioenergies : from carbohydrates to hydrocarbons Seminar 13 Apr 2016 11:00 - 12:00 Event Jean-Luc Fournet Arabic versus Greek (6) : the impact of Arabization on Greek Lecture The cohabitation of Greek and Arabic did not last long enough for the former to be influenced by the latter, especially as the Arabo-Muslims did not initially have a very restrictive linguistic policy. It was precisely when Arabic began to dominate the … 13 Apr 2016 11:00 - 12:00 Event Marc Fontecave Biotechnologies for energy: microbes and hydrocarbons Lecture Abstract The discovery that hydrocarbons present in our environment can be of natural origin, and not only due to human pollution, is very recent. It turns out that microorganisms (cyanobacteria) are capable of naturally producing considerable quantities … 13 Apr 2016 10:00 - 11:00 Event Alain Fischer Genetic bases Lecture The lecture began with a review of the mechanisms by which T and B lymphocytes generate antigenic recognition diversity, followed by an introduction to a number of autoimmune diseases. The examples of systemic lupus erythematosus (a so-called systemic … 12 Apr 2016 15:00 - 16:30 Event Yann LeCun Convolutional networks. Vision applications Lecture 25 Mar 2016 11:00 - 11:30 Event Alain Mabanckou Black letters : from darkness to light Opening lecture Abstract For centuries, Europeans saw, imagined and fantasized about Africa as a wild, dark continent, the raw material for tales of adventure and exploration, tinged with exoticism, but with only one voice: that of the colonizer. It wasn't until the … 17 Mar 2016 18:00 - 19:00 Event Serge Picaud Visual prostheses Seminar Brain/machine interfaces, or neural prostheses, are designed to compensate for disabilities or neurodegenerative processes. These are implanted devices that use electrodes to activate areas of the central nervous system. For example, hearing aids enable … 23 Mar 2016 11:30 - 12:30 Event Laurie Pinaud Young researcher's talk Seminar 13 Jan 2016 17:15 - 17:30 Event José-Alain Sahel Retinal prostheses Lecture In patients blinded by degeneration of the retina's photoreceptor cells, the aim of visual prostheses is to restore useful vision (reading, mobility), which implies regaining the ability to detect light and discriminate. Given the persistence, in … 23 Mar 2016 10:30 - 11:30 Series Correspondence between Saint-John Perse and Calouste Gulbenkian (1948-1954) Michel Zink, chair Literatures of medieval France Guest lecturer 21 Feb 2013 Series French-speaking intellectuals of modern and contemporary Japan : Nakae Chômin (1847-1901) and Katô Shûichi (1919-2008) Anne Cheng, chair Chinese Intellectual History Guest lecturer To introduce my remarks, I'll refer to the critical reflection on "modernization" by Katô Shûichi (1919-2008), a Japanese "pacifist and anti-nationalist" intellectual. In his 1957 essay " Why do we still need modernization?" , the author distinguishes … 21 Feb 2013 → 28 Feb 2013 Series Time and event computing Gérard Berry, chair Algorithms, machines and languages Opening lecture 28 Mar 2013 Event Frantz Grenet Marriage and households from Bactrian, Sogdian and Chorasmian documents, 3rd-8th c. (5) Seminar 18 Mar 2016 10:00 - 12:00 Event Bruno Ziliotto Stochastic homogenization of non-convex Hamilton-Jacobi equations : a counterexample Seminar 8 Apr 2016 11:15 - 12:30 Event Naïm Vanthieghem The movement of people in 7th- and 8th-century Egypt : the contribution of multilingual documentation Seminar Knowledge of ancient Greek is required for the seminar. … 7 Apr 2016 15:00 - 17:00 Event Thomas Römer The brothers' first trip to Egypt (Genesis 42). The brothers' second descent into Egypt and the discovery of Joseph's identity Lecture Documents and media Download support … 7 Apr 2016 14:00 - 15:00 Event Laurent Dousset Territoriality put to the test : state recognition of a humanized geography in Australia Seminar 7 Apr 2016 10:00 - 12:00 Event Stéphanie Delaune Formal verification applied to cryptographic protocols Seminar Documents and media Download support Abstract Cryptographic protocols are the algorithms and programs used to establish secure communication. They are fragile and are the main point of entry for security attacks, as a few examples will show. They are also … 6 Apr 2016 17:30 - 18:30 Event Benoit Gaultier Epistemic virtues and doxastic performance obligations Seminar 6 Apr 2016 16:30 - 18:30 Event Edith Heard Perspectives : epigenetic markers and therapies Lecture Documents and media Download support … 6 Apr 2016 16:00 - 17:30 Event Gérard Berry Verification by explicit enumeration Lecture Documents and media Download support Download support (pptx) Abstract All the verification techniques used in previous lectures were based on an implicit representation of systems using Boolean, symbolic or numerical formulas. Explicit verification, on … 6 Apr 2016 16:00 - 17:30 Pagination First page Previous page … Page 530 Page 531 Page 532 Page 533 Current page 534 Page 535 Page 536 Page 537 Page 538 … Next page Last page
Event Chantal Keller Towards safe and expressive automation : combining automatic and interactive proofs Seminar Documents and media Download support Abstract In previous lectures and seminars, we have explored the diversity of proofers, each with its own degree of automation, expressiveness and safety. In this talk, I will present various approaches to combining … 13 Apr 2016 16:00 - 17:00
Event Philippe Descola The uses of land. Cosmopolitics of territoriality (7) Lecture 13 Apr 2016 14:00 - 15:00
Event Jean-Christophe Yoccoz Non-uniform hyperbolicity for multidimensional perturbations of quadratic polynomials (3) Lecture Documents and media Download support … 13 Apr 2016 10:00 - 11:00
Event Marc Delcourt Global Bioenergies : from carbohydrates to hydrocarbons Seminar 13 Apr 2016 11:00 - 12:00
Event Jean-Luc Fournet Arabic versus Greek (6) : the impact of Arabization on Greek Lecture The cohabitation of Greek and Arabic did not last long enough for the former to be influenced by the latter, especially as the Arabo-Muslims did not initially have a very restrictive linguistic policy. It was precisely when Arabic began to dominate the … 13 Apr 2016 11:00 - 12:00
Event Marc Fontecave Biotechnologies for energy: microbes and hydrocarbons Lecture Abstract The discovery that hydrocarbons present in our environment can be of natural origin, and not only due to human pollution, is very recent. It turns out that microorganisms (cyanobacteria) are capable of naturally producing considerable quantities … 13 Apr 2016 10:00 - 11:00
Event Alain Fischer Genetic bases Lecture The lecture began with a review of the mechanisms by which T and B lymphocytes generate antigenic recognition diversity, followed by an introduction to a number of autoimmune diseases. The examples of systemic lupus erythematosus (a so-called systemic … 12 Apr 2016 15:00 - 16:30
Event Alain Mabanckou Black letters : from darkness to light Opening lecture Abstract For centuries, Europeans saw, imagined and fantasized about Africa as a wild, dark continent, the raw material for tales of adventure and exploration, tinged with exoticism, but with only one voice: that of the colonizer. It wasn't until the … 17 Mar 2016 18:00 - 19:00
Event Serge Picaud Visual prostheses Seminar Brain/machine interfaces, or neural prostheses, are designed to compensate for disabilities or neurodegenerative processes. These are implanted devices that use electrodes to activate areas of the central nervous system. For example, hearing aids enable … 23 Mar 2016 11:30 - 12:30
Event José-Alain Sahel Retinal prostheses Lecture In patients blinded by degeneration of the retina's photoreceptor cells, the aim of visual prostheses is to restore useful vision (reading, mobility), which implies regaining the ability to detect light and discriminate. Given the persistence, in … 23 Mar 2016 10:30 - 11:30
Series Correspondence between Saint-John Perse and Calouste Gulbenkian (1948-1954) Michel Zink, chair Literatures of medieval France Guest lecturer 21 Feb 2013
Series French-speaking intellectuals of modern and contemporary Japan : Nakae Chômin (1847-1901) and Katô Shûichi (1919-2008) Anne Cheng, chair Chinese Intellectual History Guest lecturer To introduce my remarks, I'll refer to the critical reflection on "modernization" by Katô Shûichi (1919-2008), a Japanese "pacifist and anti-nationalist" intellectual. In his 1957 essay " Why do we still need modernization?" , the author distinguishes … 21 Feb 2013 → 28 Feb 2013
Series Time and event computing Gérard Berry, chair Algorithms, machines and languages Opening lecture 28 Mar 2013
Event Frantz Grenet Marriage and households from Bactrian, Sogdian and Chorasmian documents, 3rd-8th c. (5) Seminar 18 Mar 2016 10:00 - 12:00
Event Bruno Ziliotto Stochastic homogenization of non-convex Hamilton-Jacobi equations : a counterexample Seminar 8 Apr 2016 11:15 - 12:30
Event Naïm Vanthieghem The movement of people in 7th- and 8th-century Egypt : the contribution of multilingual documentation Seminar Knowledge of ancient Greek is required for the seminar. … 7 Apr 2016 15:00 - 17:00
Event Thomas Römer The brothers' first trip to Egypt (Genesis 42). The brothers' second descent into Egypt and the discovery of Joseph's identity Lecture Documents and media Download support … 7 Apr 2016 14:00 - 15:00
Event Laurent Dousset Territoriality put to the test : state recognition of a humanized geography in Australia Seminar 7 Apr 2016 10:00 - 12:00
Event Stéphanie Delaune Formal verification applied to cryptographic protocols Seminar Documents and media Download support Abstract Cryptographic protocols are the algorithms and programs used to establish secure communication. They are fragile and are the main point of entry for security attacks, as a few examples will show. They are also … 6 Apr 2016 17:30 - 18:30
Event Benoit Gaultier Epistemic virtues and doxastic performance obligations Seminar 6 Apr 2016 16:30 - 18:30
Event Edith Heard Perspectives : epigenetic markers and therapies Lecture Documents and media Download support … 6 Apr 2016 16:00 - 17:30
Event Gérard Berry Verification by explicit enumeration Lecture Documents and media Download support Download support (pptx) Abstract All the verification techniques used in previous lectures were based on an implicit representation of systems using Boolean, symbolic or numerical formulas. Explicit verification, on … 6 Apr 2016 16:00 - 17:30