Share Facebook LinkedIn Bluesky Threads Copy url Search results Search 25816 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 People 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 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 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 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 Series No lectures this year Jean-Christophe Yoccoz, chair Differential equations and dynamic systems Lecture 09 Jan 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 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 Series Exo-planets, stars and galaxies : observational advances Antoine Labeyrie, chair Observational astrophysics Lecture 13 Feb 2013 → 03 Apr 2013 Series Exo-planets, stars and galaxies : observational advances Antoine Labeyrie, chair Observational astrophysics Seminar 13 Feb 2013 → 03 Apr 2013 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 Claudine Tiercelin Prolegomena to an intellectual ethic Lecture Lecture 6 (April 6) presented a number of avenues for further research. It was recalled that the return to favor of the virtues in epistemology has not been due solely to the "epistemology of virtues", but has been associated either 1) with the suspicion … 6 Apr 2016 14:30 - 16:00 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 « First Previous page ‹‹ … Page 630 Page 631 Page 632 Page 633 Page 634 Page 635 Page 636 Page 637 Page 638 … Next page ›› Last page Last »
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 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 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 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
Series No lectures this year Jean-Christophe Yoccoz, chair Differential equations and dynamic systems Lecture 09 Jan 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
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
Series Exo-planets, stars and galaxies : observational advances Antoine Labeyrie, chair Observational astrophysics Lecture 13 Feb 2013 → 03 Apr 2013
Series Exo-planets, stars and galaxies : observational advances Antoine Labeyrie, chair Observational astrophysics Seminar 13 Feb 2013 → 03 Apr 2013
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 Claudine Tiercelin Prolegomena to an intellectual ethic Lecture Lecture 6 (April 6) presented a number of avenues for further research. It was recalled that the return to favor of the virtues in epistemology has not been due solely to the "epistemology of virtues", but has been associated either 1) with the suspicion … 6 Apr 2016 14:30 - 16:00
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