Share Facebook LinkedIn Bluesky Threads Copy url Search results Search 24381 results Filters Content type Content type (-) Lessons (24021) News (1749) People (1389) Editions (362) (-) Chair (360) Page (231) Research (27) Library (14) Annual Chair (12) Award (6) Active filters Lessons Chair Event François Héran The avatars of assimilation : from annexation to selection Lecture 20 Dec 2019 09:00 to 10:30 Event Pierre-Louis Lions HJB, MFG and others (continued) (7) Lecture 20 Dec 2019 09:00 to 11:00 Event François-Xavier Fauvelle Reflections in a golden ball (2) and conclusion of the lecture Lecture Continued examination of goods exported from sub-Saharan Africa. The medieval Islamic slave trade: how can we characterize the spaces of slavery predation, and on the basis of what data ? Externalization of predatory slavery and the resistance of victim … 19 Dec 2019 14:00 to 16:15 Event François Déroche Biblical figures in the Koran (4) Lecture 19 Dec 2019 14:00 to 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 to 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 to 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 to 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 to 17:30 Event Henry Laurens Crises in the East : the origins of authoritarianism from 1949 onwards (5) Lecture 18 Dec 2019 15:00 to 17:00 Event Jean-Marc de La Sablière Arab political culture (5) Seminar 18 Dec 2019 11:00 to 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 to 10:30 Event Philippe Kourilsky Health and sustainable development Special events 6 Aug 2009 19:00 to 20:00 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 to 15:30 Event Thomas Lecuit Coordination and symmetry - Conclusion Lecture Documents and media Download support … 17 Dec 2019 10:00 to 11:30 Event David Elbaz Millimeter observations Seminar Documents and media Download support … 16 Dec 2019 17:45 to 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 to 17:45 Event Yarden Katz Cells as Cognitive Creatures Seminar 13 Dec 2019 14:00 to 15:00 Event Benjamin Seeger Scaling Limits and Homogenization of Hamilton-Jacobi Equations with Stochastic Forcing Seminar 13 Dec 2019 11:15 to 12:45 Event Pierre-Louis Lions HJB, MFG and others (continued) (6) Lecture 13 Dec 2019 09:00 to 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 to 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 to 15:00 Event François Déroche Biblical figures in the Koran (3) Lecture 12 Dec 2019 14:00 to 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 to 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 to 11:00 Pagination First page « First Previous page ‹‹ … Page 351 Page 352 Page 353 Page 354 Page 355 Page 356 Page 357 Page 358 Page 359 … Next page ›› Last page Last »
Event François Héran The avatars of assimilation : from annexation to selection Lecture 20 Dec 2019 09:00 to 10:30
Event François-Xavier Fauvelle Reflections in a golden ball (2) and conclusion of the lecture Lecture Continued examination of goods exported from sub-Saharan Africa. The medieval Islamic slave trade: how can we characterize the spaces of slavery predation, and on the basis of what data ? Externalization of predatory slavery and the resistance of victim … 19 Dec 2019 14:00 to 16:15
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 to 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 to 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 to 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 to 17:30
Event Henry Laurens Crises in the East : the origins of authoritarianism from 1949 onwards (5) Lecture 18 Dec 2019 15:00 to 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 to 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 to 15:30
Event Thomas Lecuit Coordination and symmetry - Conclusion Lecture Documents and media Download support … 17 Dec 2019 10:00 to 11:30
Event David Elbaz Millimeter observations Seminar Documents and media Download support … 16 Dec 2019 17:45 to 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 to 17:45
Event Benjamin Seeger Scaling Limits and Homogenization of Hamilton-Jacobi Equations with Stochastic Forcing Seminar 13 Dec 2019 11:15 to 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 to 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 to 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 to 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 to 11:00