Share Facebook LinkedIn Bluesky Threads Copy url Search results Search 24478 results Filters Content type Content type (-) Lessons (24464) News (1671) People (1352) Chair (359) Editions (351) Page (230) Research (27) (-) Library (14) Annual Chair (12) Award (6) Active filters Lessons Library Event Gérard Berry Conclusion and answers to the year's questions Lecture Documents and media Download support Download support (pptx) Abstract This lecture is devoted to three supplements to the year's lectures, then to answering questions sent by e-mail during the year, and finally to answering those asked in the classroom. … 13 Apr 2016 17:00 - 18:30 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 Series Geopolitics of global health Dominique Kerouedan, chair Knowledge against poverty Opening lecture 14 Feb 2013 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 Series No lectures this year Jean-Christophe Yoccoz, chair Differential equations and dynamic systems Lecture 09 Jan 2013 Event Laurie Pinaud Young researcher's talk Seminar 13 Jan 2016 17:15 - 17:30 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 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 Benoit Gaultier Epistemic virtues and doxastic performance obligations Seminar 6 Apr 2016 16:30 - 18:30 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 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 Event Edith Heard Perspectives : epigenetic markers and therapies Lecture Documents and media Download support … 6 Apr 2016 16:00 - 17:30 Pagination First page « First Previous page ‹‹ … Page 574 Page 575 Page 576 Page 577 Page 578 Page 579 Page 580 Page 581 Page 582 … Next page ›› Last page Last »
Event Gérard Berry Conclusion and answers to the year's questions Lecture Documents and media Download support Download support (pptx) Abstract This lecture is devoted to three supplements to the year's lectures, then to answering questions sent by e-mail during the year, and finally to answering those asked in the classroom. … 13 Apr 2016 17:00 - 18:30
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
Series Geopolitics of global health Dominique Kerouedan, chair Knowledge against poverty Opening lecture 14 Feb 2013
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
Series No lectures this year Jean-Christophe Yoccoz, chair Differential equations and dynamic systems Lecture 09 Jan 2013
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
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 Benoit Gaultier Epistemic virtues and doxastic performance obligations Seminar 6 Apr 2016 16:30 - 18:30
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 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
Event Edith Heard Perspectives : epigenetic markers and therapies Lecture Documents and media Download support … 6 Apr 2016 16:00 - 17:30