Share Facebook LinkedIn Bluesky Threads Copy url Search results Search 24823 results Filters Content type Content type (-) Lessons (23187) (-) News (1636) People (1331) Chair (352) Editions (348) Page (229) Research (27) Library (14) Annual Chair (12) Award (6) Active filters Lessons News Event Anne Duthilleul Overseas mining projects : between environment, local acceptance and economy Seminar Since 2003, Anne Duthilleul has been working for the French government on the two nickel plant projects in southern and northern New Caledonia, and since 2011, she has been assisting French Guiana with offshore oil exploration activities. She will … 10 Mar 2015 16:30 - 17:30 Event Dominique Bolignano Using formal methods to secure complex systems : an industrial breakthrough Seminar Documents and media Download support Abstract Last year, the Prove&Run team demonstrated the feasibility of full proof of a microkernel, Minix V3, of a complexity comparable to that achieved by the NICTA team on Sel4 - a hitherto unrivalled world first. … 11 Mar 2015 17:30 - 18:30 Event Gérard Berry General methods : assertions, rewriting, abstract interpretation, logics and proof assistants Lecture Documents and media Download support Abstract There are two main types of formal methods for program proof: general methods, which are aimed at all types of programs and will be presented in this lecture, and model-checking methods, which are mainly … 11 Mar 2015 16:00 - 17:30 Event Jean-Louis Mandel Lecture 2 - Pharmacological therapies for monogenic diseases : recent advances and prospects (1) Lecture 11 Mar 2015 16:00 - 17:15 Event Philippe Marlière Theory and practice of xenobiology Seminar 11 Mar 2015 11:00 - 12:00 Event Marc Fontecave Chemistry and biotechnology : towards synthetic organisms Lecture In this first lecture, we present a short history of biotechnology, starting with antiquity, when yeast was already used to make bread, cheese and spirits, and passing through a series of milestones such as the work of Louis Pasteur in the mid-19th … 11 Mar 2015 10:00 - 11:00 Event Jean-Christophe Yoccoz Some aspects of hyperbolic dynamical systems theory (15) Lecture Documents and media Download support … 11 Mar 2015 10:00 - 11:00 Event Alain de Libera The invention of the modern subject (continued) : will and action (7) Lecture The lecture on March 10 was an opportunity to take a break, with a first synthesis of the elements gathered. Starting from the Wilhelmian "I didn't want that", the first hour was devoted to a general reprise and orientation. Putting the agent and the … 10 Mar 2015 16:30 - 17:45 Series Yama/Yima : Indo-Iranian variations on the mythical gesture Jean Kellens, chair Indo-Iranian languages and religions Symposium 09 Jun 2011 → 10 Jun 2011 Event Jean-Noël Robert The jousting of languages : The Collection of Chinese and Japanese poems worthy of recitation (Wa-kan rôei shû) (11th century) (10) Lecture 10 Mar 2015 10:30 - 11:30 Event Jean-Noël Robert Reading of Sino-Japanese poems related to the course topic (6) Seminar A good knowledge of classical Japanese is required for the seminar … 10 Mar 2015 11:45 - 13:15 Series The Visperad ceremony Jean Kellens, chair Indo-Iranian languages and religions Guest lecturer 08 Jun 2011 Event Rainer Blatt Exploring the Quantum with Ion Traps Seminar English version only available. Documents and media Download support … 10 Mar 2015 11:00 - 12:00 Event Serge Haroche Major developments in atomic physics and optics over the last fifty years Lecture The first lesson was an introduction to this review of revolutions in atomic physics and quantum optics. It began with a brief description of the major milestones in atomic physics, first recalling the state of the art in the immediate post-war years: … 10 Mar 2015 09:30 - 10:30 Event Nicolas Grimal Calamus and stone (10) Lecture 9 Mar 2015 14:00 - 15:00 Event Nicolas Grimal The annals of Thutmosis III (continued) (10) Seminar 9 Mar 2015 15:00 - 16:00 Event Jean-Marie Tarascon Inorganic materials produced by hydro (solvo) ionothermal processes Lecture Following on from low-temperature chemistry, this lecture looks at hydro(solvo)thermal synthesis. We begin with a brief historical review, highlighting the fact that hydrothermal synthesis has its roots in the field of geology/geochemistry. Nature is rich … 9 Mar 2015 16:30 - 17:30 Event Hervé Vezin The contribution of EPR to the study of solids and the contribution of EPR imaging to electrode materials Seminar The new battery electrode materials being developed today are extremely complex, and it is vital to be able to characterize the redox and structural changes taking place during their lifetime. One of the techniques of choice today is electron paramagnetic … 9 Mar 2015 17:30 - 18:30 Event Benoit Famaey Dark matter and modified gravity Seminar Documents and media Download support … 25 Feb 2015 17:30 - 18:30 Event Françoise Combes Solutions : future instruments Lecture Abstract This latest lecture looks at the prospects for the field: the great observatories of the future, such as E-ELT (the 39-m European telescope in Chile), JWST (the new infrared space telescope), ALMA in the millimeter range, the European satellite … 25 Feb 2015 16:30 - 17:30 Series Mystique Continuation of a project : texts and collections Carlo Ossola, chair Modern literature of Neolatin Europe Symposium The seminar Pour un vocabulaire mystique au XVIIe siècle (2001, proceedings published in Turin in 2004) opened with the words of Antonio Ricciardi: "Mystica expositio est cum per minima intelliguntur maiora, vel per modica plura". Ten years on, new … 07 Jun 2011 → 08 Jun 2011 Event Pierre-Michel Menger The production of knowledge. Careers and competitions in teaching and research (7) Lecture 6 Mar 2015 10:00 - 11:30 Event Marie-Paule Cani Virtual sculpture : from clay models to spatial deformations Lecture The digital medium makes it possible to sculpt or model forms directly in 3D, freeing us from constraints such as gravity or material drying, and offering new operations (copy-paste, scale changes, undo/redo, etc.). This lecture has detailed the various … 6 Mar 2015 10:30 - 11:30 Event Sylvain Lefebvre Balancing and geometry support for 3D model printing Seminar Additive manufacturing technologies produce a physical object from its digital model by progressively adding material. Unlike conventional machining techniques, additive manufacturing can automatically and relatively quickly produce complex-shaped objects … 6 Mar 2015 11:30 - 12:30 Pagination First page Previous page … Page 624 Page 625 Page 626 Page 627 Current page 628 Page 629 Page 630 Page 631 Page 632 … Next page Last page
Event Anne Duthilleul Overseas mining projects : between environment, local acceptance and economy Seminar Since 2003, Anne Duthilleul has been working for the French government on the two nickel plant projects in southern and northern New Caledonia, and since 2011, she has been assisting French Guiana with offshore oil exploration activities. She will … 10 Mar 2015 16:30 - 17:30
Event Dominique Bolignano Using formal methods to secure complex systems : an industrial breakthrough Seminar Documents and media Download support Abstract Last year, the Prove&Run team demonstrated the feasibility of full proof of a microkernel, Minix V3, of a complexity comparable to that achieved by the NICTA team on Sel4 - a hitherto unrivalled world first. … 11 Mar 2015 17:30 - 18:30
Event Gérard Berry General methods : assertions, rewriting, abstract interpretation, logics and proof assistants Lecture Documents and media Download support Abstract There are two main types of formal methods for program proof: general methods, which are aimed at all types of programs and will be presented in this lecture, and model-checking methods, which are mainly … 11 Mar 2015 16:00 - 17:30
Event Jean-Louis Mandel Lecture 2 - Pharmacological therapies for monogenic diseases : recent advances and prospects (1) Lecture 11 Mar 2015 16:00 - 17:15
Event Marc Fontecave Chemistry and biotechnology : towards synthetic organisms Lecture In this first lecture, we present a short history of biotechnology, starting with antiquity, when yeast was already used to make bread, cheese and spirits, and passing through a series of milestones such as the work of Louis Pasteur in the mid-19th … 11 Mar 2015 10:00 - 11:00
Event Jean-Christophe Yoccoz Some aspects of hyperbolic dynamical systems theory (15) Lecture Documents and media Download support … 11 Mar 2015 10:00 - 11:00
Event Alain de Libera The invention of the modern subject (continued) : will and action (7) Lecture The lecture on March 10 was an opportunity to take a break, with a first synthesis of the elements gathered. Starting from the Wilhelmian "I didn't want that", the first hour was devoted to a general reprise and orientation. Putting the agent and the … 10 Mar 2015 16:30 - 17:45
Series Yama/Yima : Indo-Iranian variations on the mythical gesture Jean Kellens, chair Indo-Iranian languages and religions Symposium 09 Jun 2011 → 10 Jun 2011
Event Jean-Noël Robert The jousting of languages : The Collection of Chinese and Japanese poems worthy of recitation (Wa-kan rôei shû) (11th century) (10) Lecture 10 Mar 2015 10:30 - 11:30
Event Jean-Noël Robert Reading of Sino-Japanese poems related to the course topic (6) Seminar A good knowledge of classical Japanese is required for the seminar … 10 Mar 2015 11:45 - 13:15
Series The Visperad ceremony Jean Kellens, chair Indo-Iranian languages and religions Guest lecturer 08 Jun 2011
Event Rainer Blatt Exploring the Quantum with Ion Traps Seminar English version only available. Documents and media Download support … 10 Mar 2015 11:00 - 12:00
Event Serge Haroche Major developments in atomic physics and optics over the last fifty years Lecture The first lesson was an introduction to this review of revolutions in atomic physics and quantum optics. It began with a brief description of the major milestones in atomic physics, first recalling the state of the art in the immediate post-war years: … 10 Mar 2015 09:30 - 10:30
Event Jean-Marie Tarascon Inorganic materials produced by hydro (solvo) ionothermal processes Lecture Following on from low-temperature chemistry, this lecture looks at hydro(solvo)thermal synthesis. We begin with a brief historical review, highlighting the fact that hydrothermal synthesis has its roots in the field of geology/geochemistry. Nature is rich … 9 Mar 2015 16:30 - 17:30
Event Hervé Vezin The contribution of EPR to the study of solids and the contribution of EPR imaging to electrode materials Seminar The new battery electrode materials being developed today are extremely complex, and it is vital to be able to characterize the redox and structural changes taking place during their lifetime. One of the techniques of choice today is electron paramagnetic … 9 Mar 2015 17:30 - 18:30
Event Benoit Famaey Dark matter and modified gravity Seminar Documents and media Download support … 25 Feb 2015 17:30 - 18:30
Event Françoise Combes Solutions : future instruments Lecture Abstract This latest lecture looks at the prospects for the field: the great observatories of the future, such as E-ELT (the 39-m European telescope in Chile), JWST (the new infrared space telescope), ALMA in the millimeter range, the European satellite … 25 Feb 2015 16:30 - 17:30
Series Mystique Continuation of a project : texts and collections Carlo Ossola, chair Modern literature of Neolatin Europe Symposium The seminar Pour un vocabulaire mystique au XVIIe siècle (2001, proceedings published in Turin in 2004) opened with the words of Antonio Ricciardi: "Mystica expositio est cum per minima intelliguntur maiora, vel per modica plura". Ten years on, new … 07 Jun 2011 → 08 Jun 2011
Event Pierre-Michel Menger The production of knowledge. Careers and competitions in teaching and research (7) Lecture 6 Mar 2015 10:00 - 11:30
Event Marie-Paule Cani Virtual sculpture : from clay models to spatial deformations Lecture The digital medium makes it possible to sculpt or model forms directly in 3D, freeing us from constraints such as gravity or material drying, and offering new operations (copy-paste, scale changes, undo/redo, etc.). This lecture has detailed the various … 6 Mar 2015 10:30 - 11:30
Event Sylvain Lefebvre Balancing and geometry support for 3D model printing Seminar Additive manufacturing technologies produce a physical object from its digital model by progressively adding material. Unlike conventional machining techniques, additive manufacturing can automatically and relatively quickly produce complex-shaped objects … 6 Mar 2015 11:30 - 12:30