Share Facebook LinkedIn Bluesky Threads Copy url Search results Search 25847 results Filters Content type Content type (-) Lessons (24495) News (1672) (-) People (1352) Chair (359) Editions (351) Page (230) Research (27) Library (14) Annual Chair (12) Award (6) Active filters Lessons People Event Nicolas Brantut Dehydration Embrittlement at High Pressure Symposium Chair : Patrick Cordier, University of Lille, France … 19 Nov 2018 14:35 - 15:10 Event Bruno Reynard Fluids and Earthquakes in the Forearc Region of Subduction Zones Symposium Chair : Patrick Cordier, University of Lille, France Documents and media Download support … 19 Nov 2018 14:00 - 14:35 Event German Prieto Seismological Constraints on the Mechanism(s) Responsible for Intermediate-Depth Earthquakes Symposium Chair : Piero Poli, ISTerre, Grenoble Documents and media Download support … 19 Nov 2018 11:20 - 11:55 Event Cliff Frohlich Deep Moonquakes, Isolated Deep Earthquakes, and Deep Earthquakes NOT in Subduction Zones Symposium Chair : Piero Poli, ISTerre, Grenoble Documents and media Download support … 19 Nov 2018 11:55 - 12:30 Event Zhongwen Zhan Interferometric Imaging of the Metastable Olivine Wedge and a Dual-Mechanism Hypothesis for Deep Earthquakes Symposium Chair : Martin Vallée, IPG, Paris … 19 Nov 2018 09:40 - 10:15 Event Blandine Gardonio Details of the Pre-Seismic and Post-Seismic Phases of the 2015 Ogasawara Deep-Focus Earthquake Symposium Chair : Martin Vallée, IPG, Paris … 19 Nov 2018 10:15 - 10:50 Event Keiko Kuge Deep Earthquakes and Their Surrounding Structure as Inferred from Regional Seismic Waves Symposium Chair : Martin Vallée, IPG, Paris Documents and media Download support … 19 Nov 2018 09:05 - 09:40 Event Guy Sella A Population Genetic Interpretation of Complex Trait Architecture in Humans Seminar Abstract Guy Sella presented mathematical models for interpreting the results of human genome-wide association studies (GWAS). These studies reveal the genetic architecture of anthropomorphic and biomedical traits. What remains to be understood is how … 23 Nov 2018 15:30 - 16:30 Event Jean-Noël Robert Sino-Japanese tri-temporality and Buddhism Symposium 18 Oct 2018 16:10 - 16:50 Event Anne-Laure Dalibard Quasi-critical reflection of internal waves in a stratified fluid Seminar 14 Dec 2018 11:15 - 12:45 Event Pierre-Louis Lions HJB, MFG and others (6) Lecture 14 Dec 2018 09:00 - 11:00 Event Anne Cheng Reading of the chapter " Liyun " from the Treatise on Rites (4) Seminar A good knowledge of classical Chinese is required for the seminar. … 13 Dec 2018 16:30 - 18:00 Event Yves Bertot et Pierre Castéran Coq : practical aspects of type theory Seminar The seminar takes place at Inria Bordeaux. Abstract Proof assistants have two types of application: the construction of formal proofs of correctness for highly complex programs or algorithms (static compilers and analyzers, distributed algorithms, … 13 Dec 2018 17:30 - 18:30 Event Gérard Berry In theory, theory and practice are the same, in practice they are not (according to Yogi Berra) Lecture The lecture takes place at Inria Bordeaux. Abstract This famous maxim by Yogi Berra, the great baseball player and creator of aphorisms, applies perfectly to computer research. The talk will discuss four types of case through a variety of examples. First, … 13 Dec 2018 16:00 - 17:30 Event Alain Prochiantz Aging in neurological diseases Lecture 13 Dec 2018 14:00 - 16:00 Event François Déroche Some Qur'anic concepts (4) Lecture 13 Dec 2018 14:00 - 15:00 Event Anne Cheng Universality, globality, cosmopolitanism (China, Japan, India) (continued) (4) Lecture 13 Dec 2018 11:00 - 12:00 Event Jean-Marc Ghigo Biofilms, there's strength in numbers, but what is there to unite ? Seminar Abstract Jean-Marc Ghigo is an eminent specialist in biofilms, the genetic and molecular basis of their formation, and their regulation, particularly the crucial transition between sedentary (biofilm) and planktonic (free) phases. This transition is … 12 Dec 2018 17:30 - 19:00 Event Philippe Sansonetti Why do chronic or recurrent infections occur ? Lecture Abstract In this lecture, we examine the notion of chronicity and recurrence, considering the bacterial groups most likely to generate such situations, not forgetting acquired parameters such as antibiotic resistance and terrain. These infections remain a … 12 Dec 2018 16:00 - 17:30 Event Henry Laurens Crises in the East, British hegemony 1926-1956 (5) Lecture 12 Dec 2018 15:00 - 17:00 Event Matthieu Sozeau Programming with Coq : recursion and dependent filtering Seminar Abstract The third seminar continued the exploration of programming with dependent types begun at the first seminar. The speaker identified two major pitfalls for programming in a type theory like Coq's : partiality and non-termination, and showed how the … 12 Dec 2018 11:30 - 12:30 Event Dominique Charpin A Babylonian domain under Samsu-Iluna (6) Seminar A good knowledge of cuneiform is required for the seminar. … 12 Dec 2018 10:00 - 12:00 Event Xavier Leroy Can we change the world ? Imperative programming, monadic effects, algebraic effects Lecture Abstract So far, we've mapped logic to functional languages. However, many programs are imperative and not purely functional, as their execution has effects on the external world : they consume inputs, produce outputs, modify files, etc. Monads are a … 12 Dec 2018 10:00 - 11:00 Event Bassma Kodmani Arab political culture (5) Seminar 12 Dec 2018 11:00 - 12:30 Pagination First page « First Previous page ‹‹ … Page 475 Page 476 Page 477 Page 478 Page 479 Page 480 Page 481 Page 482 Page 483 … Next page ›› Last page Last »
Event Nicolas Brantut Dehydration Embrittlement at High Pressure Symposium Chair : Patrick Cordier, University of Lille, France … 19 Nov 2018 14:35 - 15:10
Event Bruno Reynard Fluids and Earthquakes in the Forearc Region of Subduction Zones Symposium Chair : Patrick Cordier, University of Lille, France Documents and media Download support … 19 Nov 2018 14:00 - 14:35
Event German Prieto Seismological Constraints on the Mechanism(s) Responsible for Intermediate-Depth Earthquakes Symposium Chair : Piero Poli, ISTerre, Grenoble Documents and media Download support … 19 Nov 2018 11:20 - 11:55
Event Cliff Frohlich Deep Moonquakes, Isolated Deep Earthquakes, and Deep Earthquakes NOT in Subduction Zones Symposium Chair : Piero Poli, ISTerre, Grenoble Documents and media Download support … 19 Nov 2018 11:55 - 12:30
Event Zhongwen Zhan Interferometric Imaging of the Metastable Olivine Wedge and a Dual-Mechanism Hypothesis for Deep Earthquakes Symposium Chair : Martin Vallée, IPG, Paris … 19 Nov 2018 09:40 - 10:15
Event Blandine Gardonio Details of the Pre-Seismic and Post-Seismic Phases of the 2015 Ogasawara Deep-Focus Earthquake Symposium Chair : Martin Vallée, IPG, Paris … 19 Nov 2018 10:15 - 10:50
Event Keiko Kuge Deep Earthquakes and Their Surrounding Structure as Inferred from Regional Seismic Waves Symposium Chair : Martin Vallée, IPG, Paris Documents and media Download support … 19 Nov 2018 09:05 - 09:40
Event Guy Sella A Population Genetic Interpretation of Complex Trait Architecture in Humans Seminar Abstract Guy Sella presented mathematical models for interpreting the results of human genome-wide association studies (GWAS). These studies reveal the genetic architecture of anthropomorphic and biomedical traits. What remains to be understood is how … 23 Nov 2018 15:30 - 16:30
Event Jean-Noël Robert Sino-Japanese tri-temporality and Buddhism Symposium 18 Oct 2018 16:10 - 16:50
Event Anne-Laure Dalibard Quasi-critical reflection of internal waves in a stratified fluid Seminar 14 Dec 2018 11:15 - 12:45
Event Anne Cheng Reading of the chapter " Liyun " from the Treatise on Rites (4) Seminar A good knowledge of classical Chinese is required for the seminar. … 13 Dec 2018 16:30 - 18:00
Event Yves Bertot et Pierre Castéran Coq : practical aspects of type theory Seminar The seminar takes place at Inria Bordeaux. Abstract Proof assistants have two types of application: the construction of formal proofs of correctness for highly complex programs or algorithms (static compilers and analyzers, distributed algorithms, … 13 Dec 2018 17:30 - 18:30
Event Gérard Berry In theory, theory and practice are the same, in practice they are not (according to Yogi Berra) Lecture The lecture takes place at Inria Bordeaux. Abstract This famous maxim by Yogi Berra, the great baseball player and creator of aphorisms, applies perfectly to computer research. The talk will discuss four types of case through a variety of examples. First, … 13 Dec 2018 16:00 - 17:30
Event Anne Cheng Universality, globality, cosmopolitanism (China, Japan, India) (continued) (4) Lecture 13 Dec 2018 11:00 - 12:00
Event Jean-Marc Ghigo Biofilms, there's strength in numbers, but what is there to unite ? Seminar Abstract Jean-Marc Ghigo is an eminent specialist in biofilms, the genetic and molecular basis of their formation, and their regulation, particularly the crucial transition between sedentary (biofilm) and planktonic (free) phases. This transition is … 12 Dec 2018 17:30 - 19:00
Event Philippe Sansonetti Why do chronic or recurrent infections occur ? Lecture Abstract In this lecture, we examine the notion of chronicity and recurrence, considering the bacterial groups most likely to generate such situations, not forgetting acquired parameters such as antibiotic resistance and terrain. These infections remain a … 12 Dec 2018 16:00 - 17:30
Event Henry Laurens Crises in the East, British hegemony 1926-1956 (5) Lecture 12 Dec 2018 15:00 - 17:00
Event Matthieu Sozeau Programming with Coq : recursion and dependent filtering Seminar Abstract The third seminar continued the exploration of programming with dependent types begun at the first seminar. The speaker identified two major pitfalls for programming in a type theory like Coq's : partiality and non-termination, and showed how the … 12 Dec 2018 11:30 - 12:30
Event Dominique Charpin A Babylonian domain under Samsu-Iluna (6) Seminar A good knowledge of cuneiform is required for the seminar. … 12 Dec 2018 10:00 - 12:00
Event Xavier Leroy Can we change the world ? Imperative programming, monadic effects, algebraic effects Lecture Abstract So far, we've mapped logic to functional languages. However, many programs are imperative and not purely functional, as their execution has effects on the external world : they consume inputs, produce outputs, modify files, etc. Monads are a … 12 Dec 2018 10:00 - 11:00