Share Facebook LinkedIn Bluesky Threads Copy url Search results Search 24252 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 Page Event Pierre-Évariste Dagand Dependent types : a whole program ! Seminar Abstract The first seminar was a defense and illustration of programming with dependent types in the Agda language. The speaker started from a classical problem : the semantics of an arithmetic expression language and its compilation into the code of a … 28 Nov 2018 11:30 to 12:30 Event Xavier Leroy Weapons of mass construction : inductive types and inductive predicates Lecture Abstract The lecture began with an overview of data types in programming languages: arrays in Fortran, records in Cobol, disjoint unions in Algol 68, references and pointers in Algol W, as well as the universal types of S-expressions in Lisp and terms in … 28 Nov 2018 10:00 to 11:00 Event Dominique Charpin A Babylonian domain under Samsu-Iluna (4) Seminar A good knowledge of cuneiform is required for the seminar. … 28 Nov 2018 10:00 to 12:00 Event Lluís Quintana-Murci et Gilles Authier Population migrations, language migrations : new tools for going back in time Seminar If mankind has always migrated, how can we trace population movements over the long term that have left no written trace? Lluís Quintana-Murci , professor at the Institut Pasteur and director of the "Human Evolutionary Genetics" unit, shows how the latest … 28 Nov 2018 10:00 to 12:00 Event Jean-Jacques Hublin Aquatic foods Lecture Abstract Mammalian exploitation of the aquatic environment, particularly the marine environment, almost always leads to specific adaptations to this environment. This is not the case for humans, which raises the question of when this behavior first … 27 Nov 2018 17:00 to 18:30 Series Krzysztof Matyjaszewski Clément Sanchez, chair Hybrid materials chemistry Guest lecturer 11 May 2016 → 02 Jun 2016 Event Amos Gitai Is cinema more authoritative than literature ? Lecture Films : Tsili (2014), based on the novel by Aharon Appelfeld ; Roses on Credit (2010), based on the novel by Elsa Triolet. Literature doesn't need cinema. It doesn't impose a ready-made image that tries to flesh out a text. It's up to the reader to do … 27 Nov 2018 11:00 to 12:30 Event Thomas Lecuit Spatial and temporal mechanochemical instabilities (1) Lecture Abstract This lecture and the following one explore the concept of self-organization by studying the emergence of spatial and temporal patterns in systems where chemical or mechanical instabilities operate. Throughout these lectures we present theoretical … 27 Nov 2018 10:00 to 11:30 Event Yohan Dubois Cosmological simulations Seminar Documents and media Download support … 26 Nov 2018 17:45 to 18:45 Event Françoise Combes Large structure theory Lecture Abstract How did large-scale structures form, starting from a perfectly homogeneous initial state of the Universe, with only fluctuations of relative amplitude 10-5 at z = 1 000 (the last scattering surface of the cosmic ray background) ? It can be shown … 26 Nov 2018 16:45 to 17:45 Event Dominique Charpin A new confrontation with Ešnunna Lecture Abstract After losing the southern cities, Samsu-iluna fortified the region of Isin and Nippur, these two cities now controlling the southern border of his kingdom. He then successfully attempted to strengthen his eastern flank. We have seen that the king … 26 Nov 2018 11:00 to 12:00 Event Anne Cheng Reading of the chapter " Liyun " from the Treatise on Rites (1) Seminar A good knowledge of classical Chinese is required for the seminar. … 22 Nov 2018 16:30 to 18:00 Series Philip Stamp Jean Dalibard, chair Atoms and Radiation Guest lecturer 09 May 2016 → 30 May 2016 Event Molly Przeworski Mutation, natural selection and pathological allele frequencies in humans Lecture Abstract Deleterious alleles are introduced into the population by mutation, and then change in frequency as a result of the combined effects of genetic drift and natural selection. Unless the allele confers an advantage in certain environments, the … 23 Nov 2018 14:30 to 15:30 Page Michael Edwards - External activities Back to biography and publications Conferences Thursday May 23 at 7pm, a reading of poems (in English) from his new collection At the Brasserie Lipp , followed by a Q&A session hosted by Marc Poré. British Council 9 rue de Constantine 75007 Paris On June … Event Petr Kuznetsov Distributed Computing and Combinatorial Topology Seminar 23 Nov 2018 11:00 to 12:00 Event Pierre-Louis Lions Mini-lecture by Annalisa Buffa (at Jussieu) Seminar Annalisa Buffa's mini-course as part of the Jacques-Louis Lions Lectures Please note that this lecture will not be held at the Collège de France. Address J-L Lions Laboratory seminar room, bar 15-16, 3rd floor, room 09 (15-16-309) Sorbonne University, … 23 Nov 2018 11:15 to 12:45 Event Rachid Guerraoui The impossibility of consensus Lecture Abstract This lecture introduced the importance of the famous consensus problem, before explaining how this concept is central to digital technology today. The lecture then presented the impossibility theorem of consensus and its proof in the relatively … 23 Nov 2018 10:00 to 11:00 Event Pierre-Louis Lions HJB, MFG and others (3) Lecture 23 Nov 2018 09:00 to 11:00 Page Thomas Römer - External lectures Back to the Chair home page 2025-2026 France Strasbourg University On November 20, 2025, a lecture (2h) on: How to live in Diaspora? The story of Joseph in the book of Genesis ? Germany University of Bonn On January 29, 2026, a lecture (2h) on : Wie lebt … Page Stanislas Dehaene - External lectures Back to the Chair home page 2023-2024 China Academy of Sciences, Shanghai In November 2023, a lecture and seminar (2 h ) on : Symbols and rules: Searching for the origins of human singularity. 2019-2020 Argentina University of Buenos Aires (UBA) On … Event François Déroche Some Qur'anic concepts (1) Lecture 22 Nov 2018 14:00 to 15:00 Event Alain Prochiantz Neurological disease models Lecture 22 Nov 2018 14:00 to 16:00 Event Anne Cheng Universality, globality, cosmopolitanism (China, Japan, India) (continued) (1) Lecture 22 Nov 2018 11:00 to 12:00 Pagination First page « First Previous page ‹‹ … Page 405 Page 406 Page 407 Page 408 Page 409 Page 410 Page 411 Page 412 Page 413 … Next page ›› Last page Last »
Event Pierre-Évariste Dagand Dependent types : a whole program ! Seminar Abstract The first seminar was a defense and illustration of programming with dependent types in the Agda language. The speaker started from a classical problem : the semantics of an arithmetic expression language and its compilation into the code of a … 28 Nov 2018 11:30 to 12:30
Event Xavier Leroy Weapons of mass construction : inductive types and inductive predicates Lecture Abstract The lecture began with an overview of data types in programming languages: arrays in Fortran, records in Cobol, disjoint unions in Algol 68, references and pointers in Algol W, as well as the universal types of S-expressions in Lisp and terms in … 28 Nov 2018 10:00 to 11:00
Event Dominique Charpin A Babylonian domain under Samsu-Iluna (4) Seminar A good knowledge of cuneiform is required for the seminar. … 28 Nov 2018 10:00 to 12:00
Event Lluís Quintana-Murci et Gilles Authier Population migrations, language migrations : new tools for going back in time Seminar If mankind has always migrated, how can we trace population movements over the long term that have left no written trace? Lluís Quintana-Murci , professor at the Institut Pasteur and director of the "Human Evolutionary Genetics" unit, shows how the latest … 28 Nov 2018 10:00 to 12:00
Event Jean-Jacques Hublin Aquatic foods Lecture Abstract Mammalian exploitation of the aquatic environment, particularly the marine environment, almost always leads to specific adaptations to this environment. This is not the case for humans, which raises the question of when this behavior first … 27 Nov 2018 17:00 to 18:30
Series Krzysztof Matyjaszewski Clément Sanchez, chair Hybrid materials chemistry Guest lecturer 11 May 2016 → 02 Jun 2016
Event Amos Gitai Is cinema more authoritative than literature ? Lecture Films : Tsili (2014), based on the novel by Aharon Appelfeld ; Roses on Credit (2010), based on the novel by Elsa Triolet. Literature doesn't need cinema. It doesn't impose a ready-made image that tries to flesh out a text. It's up to the reader to do … 27 Nov 2018 11:00 to 12:30
Event Thomas Lecuit Spatial and temporal mechanochemical instabilities (1) Lecture Abstract This lecture and the following one explore the concept of self-organization by studying the emergence of spatial and temporal patterns in systems where chemical or mechanical instabilities operate. Throughout these lectures we present theoretical … 27 Nov 2018 10:00 to 11:30
Event Yohan Dubois Cosmological simulations Seminar Documents and media Download support … 26 Nov 2018 17:45 to 18:45
Event Françoise Combes Large structure theory Lecture Abstract How did large-scale structures form, starting from a perfectly homogeneous initial state of the Universe, with only fluctuations of relative amplitude 10-5 at z = 1 000 (the last scattering surface of the cosmic ray background) ? It can be shown … 26 Nov 2018 16:45 to 17:45
Event Dominique Charpin A new confrontation with Ešnunna Lecture Abstract After losing the southern cities, Samsu-iluna fortified the region of Isin and Nippur, these two cities now controlling the southern border of his kingdom. He then successfully attempted to strengthen his eastern flank. We have seen that the king … 26 Nov 2018 11:00 to 12:00
Event Anne Cheng Reading of the chapter " Liyun " from the Treatise on Rites (1) Seminar A good knowledge of classical Chinese is required for the seminar. … 22 Nov 2018 16:30 to 18:00
Series Philip Stamp Jean Dalibard, chair Atoms and Radiation Guest lecturer 09 May 2016 → 30 May 2016
Event Molly Przeworski Mutation, natural selection and pathological allele frequencies in humans Lecture Abstract Deleterious alleles are introduced into the population by mutation, and then change in frequency as a result of the combined effects of genetic drift and natural selection. Unless the allele confers an advantage in certain environments, the … 23 Nov 2018 14:30 to 15:30
Page Michael Edwards - External activities Back to biography and publications Conferences Thursday May 23 at 7pm, a reading of poems (in English) from his new collection At the Brasserie Lipp , followed by a Q&A session hosted by Marc Poré. British Council 9 rue de Constantine 75007 Paris On June …
Event Petr Kuznetsov Distributed Computing and Combinatorial Topology Seminar 23 Nov 2018 11:00 to 12:00
Event Pierre-Louis Lions Mini-lecture by Annalisa Buffa (at Jussieu) Seminar Annalisa Buffa's mini-course as part of the Jacques-Louis Lions Lectures Please note that this lecture will not be held at the Collège de France. Address J-L Lions Laboratory seminar room, bar 15-16, 3rd floor, room 09 (15-16-309) Sorbonne University, … 23 Nov 2018 11:15 to 12:45
Event Rachid Guerraoui The impossibility of consensus Lecture Abstract This lecture introduced the importance of the famous consensus problem, before explaining how this concept is central to digital technology today. The lecture then presented the impossibility theorem of consensus and its proof in the relatively … 23 Nov 2018 10:00 to 11:00
Page Thomas Römer - External lectures Back to the Chair home page 2025-2026 France Strasbourg University On November 20, 2025, a lecture (2h) on: How to live in Diaspora? The story of Joseph in the book of Genesis ? Germany University of Bonn On January 29, 2026, a lecture (2h) on : Wie lebt …
Page Stanislas Dehaene - External lectures Back to the Chair home page 2023-2024 China Academy of Sciences, Shanghai In November 2023, a lecture and seminar (2 h ) on : Symbols and rules: Searching for the origins of human singularity. 2019-2020 Argentina University of Buenos Aires (UBA) On …
Event Anne Cheng Universality, globality, cosmopolitanism (China, Japan, India) (continued) (1) Lecture 22 Nov 2018 11:00 to 12:00