Share Facebook LinkedIn Bluesky Threads Copy url Search results Search 23189 results Filters Content type Content type (-) Lessons (23189) News (1640) People (1331) Chair (352) Editions (350) Page (229) Research (27) Library (14) Annual Chair (12) Award (6) Active filters Lessons Event François Déroche Biblical figures in the Koran (4) Lecture 19 Dec 2019 14:00 - 15:00 Event Sylvie Boldo Computer arithmetic and its formalization Seminar Abstract The second seminar was devoted to the formal semantics of numerical computations. The speaker recalled the principles of the approximate representation of real numbers by floating-point numbers with limited precision, as well as the spectacular … 19 Dec 2019 11:15 - 12:15 Event Xavier Leroy Compile better : optimizations, static analysis and verification Lecture Abstract In the third lecture, we looked at optimizations in compilers. These are program transformations that the compiler automatically applies to improve the performance of the generated code. Some optimizations apply unconditionally, but many others … 19 Dec 2019 09:30 - 11:00 Event Louis Lambrechts Mosquitoes, viruses and people Seminar This seminar perfectly complemented the lesson by developing the vectorial dimension of the transmission of certain epidemics / emerging or re-emerging pandemics such as Zika, Chikungunya, Dengue, transmitted by mosquito vectors whose geographical … 18 Dec 2019 17:30 - 18:30 Event Philippe Sansonetti Emerging infections, the " Destiny of infectious diseases " revisited Lecture This third lesson dealt with the conditions under which infectious emergences occur, especially zoonotic ones, requiring the completion of a complex " specifications " of successive stages enabling a species jump from animal pathogen to human. They occur … 18 Dec 2019 16:00 - 17:30 Event Henry Laurens Crises in the East : the origins of authoritarianism from 1949 onwards (5) Lecture 18 Dec 2019 15:00 - 17:00 Event Jean-Marc de La Sablière Arab political culture (5) Seminar 18 Dec 2019 11:00 - 12:30 Event Françoise Lorcerie France's unofficial integration doctrine : how and why did it evolve ? Seminar Integration through schools : doctrines put to the test of reality … 18 Dec 2019 09:30 - 10:30 Event Walter Fontana The acquisition of biological information : learning in molecular systems ? Lecture Individuals (and other animals) can be seen as probabilistic models of their world - an embodied model that guides perception and action. Much work on the biological realizations of probabilistic inference has focused on neural circuits, but single-celled … 17 Dec 2019 14:00 - 15:30 Event Thomas Lecuit Coordination and symmetry - Conclusion Lecture Documents and media Download support … 17 Dec 2019 10:00 - 11:30 Event David Elbaz Millimeter observations Seminar Documents and media Download support … 16 Dec 2019 17:45 - 18:45 Event Françoise Combes Galaxies during the reionization epoch Lecture Abstract The main questions in the reionization era concern the rate of star formation, and their contribution to reionization. What role do black holes and active cores play in reionization ? Stars would be efficient reionizers, if UV radiation could … 16 Dec 2019 16:45 - 17:45 Series Great Earthquakes: Observations and Modeling Barbara Romanowicz, chair Physics of the Earth's interior Symposium Conference in English, organized with Yann Klinger, IPG Paris. … 30 Nov 2017 → 01 Dec 2017 Series Algorithms Claire Mathieu, chair Computer Sciences and Digital Technologies Seminar 28 Nov 2017 → 30 Jan 2018 Series Algorithms Claire Mathieu, chair Computer Sciences and Digital Technologies Lecture Claire Mathieu presents her lecture in the series les courTs du Collège de France Algorithm design and analysis research has come a long way in recent years. New computational models have emerged, as data, now too massive to be stored in a single place, … 28 Nov 2017 → 30 Jan 2018 Event Yarden Katz Cells as Cognitive Creatures Seminar 13 Dec 2019 14:00 - 15:00 Event Benjamin Seeger Scaling Limits and Homogenization of Hamilton-Jacobi Equations with Stochastic Forcing Seminar 13 Dec 2019 11:15 - 12:45 Event Pierre-Louis Lions HJB, MFG and others (continued) (6) Lecture 13 Dec 2019 09:00 - 11:00 Event François Recanati Philosophy of Language and Mind Opening lecture Abstract Pragmatics of enunciation; contextualism; theory of direct reference; mental indexicality and subjectivity; mental dossiers . François Recanati's name is closely associated with so many major concepts and themes in contemporary philosophy. Author … 12 Dec 2019 18:00 - 19:00 Event François-Xavier Fauvelle Why give a giraffe ? (2) Lecture The " routes " trans-Saharan : problems of representation. Ibn Battûta (1353) and his return route from Mâli to Fès. The Maaden Ijâfen : isolated archaeological evidence of trans-Saharan trade in the " empty quarter " of the Sahara. On the need for … 12 Dec 2019 14:00 - 15:00 Event François Déroche Biblical figures in the Koran (3) Lecture 12 Dec 2019 14:00 - 15:00 Event Philip Wadler Lambda, the Ultimate Teaching Assistant (Agda Version) Seminar Abstract In the first seminar, the speaker shared his experience of using demonstration assistants to teach the foundations of programming languages. Initially, he used Software Foundations , the interactive Coq lecture by Benjamin Pierce and co-authors. … 12 Dec 2019 11:15 - 12:15 Event Xavier Leroy Traduttore, traditore : formal verification of a compiler Lecture Abstract The second lecture focused on compilation: the automatic translation of a high-level programming language into machine-executable code. As programming languages have evolved, numerous compilation and program optimization algorithms have been … 12 Dec 2019 09:30 - 11:00 Event Simon Cauchemez Can we anticipate the future of an epidemic ? Seminar This lecture and seminar had a strange ring to it, as disturbing news began to emanate from Wuhan, China, about an atypical pneumonia of as yet unknown etiology. Documents and media Download … 11 Dec 2019 17:30 - 18:30 Pagination First page Previous page … Page 301 Page 302 Page 303 Page 304 Current page 305 Page 306 Page 307 Page 308 Page 309 … Next page Last page
Event Sylvie Boldo Computer arithmetic and its formalization Seminar Abstract The second seminar was devoted to the formal semantics of numerical computations. The speaker recalled the principles of the approximate representation of real numbers by floating-point numbers with limited precision, as well as the spectacular … 19 Dec 2019 11:15 - 12:15
Event Xavier Leroy Compile better : optimizations, static analysis and verification Lecture Abstract In the third lecture, we looked at optimizations in compilers. These are program transformations that the compiler automatically applies to improve the performance of the generated code. Some optimizations apply unconditionally, but many others … 19 Dec 2019 09:30 - 11:00
Event Louis Lambrechts Mosquitoes, viruses and people Seminar This seminar perfectly complemented the lesson by developing the vectorial dimension of the transmission of certain epidemics / emerging or re-emerging pandemics such as Zika, Chikungunya, Dengue, transmitted by mosquito vectors whose geographical … 18 Dec 2019 17:30 - 18:30
Event Philippe Sansonetti Emerging infections, the " Destiny of infectious diseases " revisited Lecture This third lesson dealt with the conditions under which infectious emergences occur, especially zoonotic ones, requiring the completion of a complex " specifications " of successive stages enabling a species jump from animal pathogen to human. They occur … 18 Dec 2019 16:00 - 17:30
Event Henry Laurens Crises in the East : the origins of authoritarianism from 1949 onwards (5) Lecture 18 Dec 2019 15:00 - 17:00
Event Françoise Lorcerie France's unofficial integration doctrine : how and why did it evolve ? Seminar Integration through schools : doctrines put to the test of reality … 18 Dec 2019 09:30 - 10:30
Event Walter Fontana The acquisition of biological information : learning in molecular systems ? Lecture Individuals (and other animals) can be seen as probabilistic models of their world - an embodied model that guides perception and action. Much work on the biological realizations of probabilistic inference has focused on neural circuits, but single-celled … 17 Dec 2019 14:00 - 15:30
Event Thomas Lecuit Coordination and symmetry - Conclusion Lecture Documents and media Download support … 17 Dec 2019 10:00 - 11:30
Event David Elbaz Millimeter observations Seminar Documents and media Download support … 16 Dec 2019 17:45 - 18:45
Event Françoise Combes Galaxies during the reionization epoch Lecture Abstract The main questions in the reionization era concern the rate of star formation, and their contribution to reionization. What role do black holes and active cores play in reionization ? Stars would be efficient reionizers, if UV radiation could … 16 Dec 2019 16:45 - 17:45
Series Great Earthquakes: Observations and Modeling Barbara Romanowicz, chair Physics of the Earth's interior Symposium Conference in English, organized with Yann Klinger, IPG Paris. … 30 Nov 2017 → 01 Dec 2017
Series Algorithms Claire Mathieu, chair Computer Sciences and Digital Technologies Seminar 28 Nov 2017 → 30 Jan 2018
Series Algorithms Claire Mathieu, chair Computer Sciences and Digital Technologies Lecture Claire Mathieu presents her lecture in the series les courTs du Collège de France Algorithm design and analysis research has come a long way in recent years. New computational models have emerged, as data, now too massive to be stored in a single place, … 28 Nov 2017 → 30 Jan 2018
Event Benjamin Seeger Scaling Limits and Homogenization of Hamilton-Jacobi Equations with Stochastic Forcing Seminar 13 Dec 2019 11:15 - 12:45
Event François Recanati Philosophy of Language and Mind Opening lecture Abstract Pragmatics of enunciation; contextualism; theory of direct reference; mental indexicality and subjectivity; mental dossiers . François Recanati's name is closely associated with so many major concepts and themes in contemporary philosophy. Author … 12 Dec 2019 18:00 - 19:00
Event François-Xavier Fauvelle Why give a giraffe ? (2) Lecture The " routes " trans-Saharan : problems of representation. Ibn Battûta (1353) and his return route from Mâli to Fès. The Maaden Ijâfen : isolated archaeological evidence of trans-Saharan trade in the " empty quarter " of the Sahara. On the need for … 12 Dec 2019 14:00 - 15:00
Event Philip Wadler Lambda, the Ultimate Teaching Assistant (Agda Version) Seminar Abstract In the first seminar, the speaker shared his experience of using demonstration assistants to teach the foundations of programming languages. Initially, he used Software Foundations , the interactive Coq lecture by Benjamin Pierce and co-authors. … 12 Dec 2019 11:15 - 12:15
Event Xavier Leroy Traduttore, traditore : formal verification of a compiler Lecture Abstract The second lecture focused on compilation: the automatic translation of a high-level programming language into machine-executable code. As programming languages have evolved, numerous compilation and program optimization algorithms have been … 12 Dec 2019 09:30 - 11:00
Event Simon Cauchemez Can we anticipate the future of an epidemic ? Seminar This lecture and seminar had a strange ring to it, as disturbing news began to emanate from Wuhan, China, about an atypical pneumonia of as yet unknown etiology. Documents and media Download … 11 Dec 2019 17:30 - 18:30