Share Facebook LinkedIn Bluesky Threads Copy url Search results Search 24472 results Filters Content type Content type (-) Lessons (23141) News (1609) (-) People (1331) Chair (352) Editions (344) Page (230) Research (27) Library (14) Annual Chair (12) Award (6) Active filters Lessons People Series Invasion science Franck Courchamp, chair Biodiversity and Ecosystems Seminar Drinking ant. Complementary seminars enrich the program by providing an additional perspective on the subject at the end of each lecture from experts in related fields such as epidemiology, economics and biogeography. The overall aim is to provide a … 05 May 2025 → 30 Jun 2025 Series Inheriting the future Avenir Commun Durable Special events Series of debates co-organized with Alma Mater (inter-university, multidisciplinary and apartisan journal) as part of the Avenir Commun Durable initiative. Under the patronage of Professors Marc Fontecave, Dario Mantovani and Jean-Marie … 05 Jun 2025 → 09 Oct 2025 Series Biological invasions Franck Courchamp, chair Biodiversity and Ecosystems Lecture Drinking ant. The program of this lecture on biological invasions offers an in-depth and diversified exploration of this complex and often misunderstood phenomenon. Through a global and interdisciplinary approach, these eight lectures will highlight the … 05 May 2025 → 30 Jun 2025 Event François Héran Faced with immigration, the scientist and the politician Closing lecture 15 May 2025 17:00 - 18:30 Event Antoine Chambert-Loir On the formalization of divided powers Symposium Abstract I'll report on a project I'm carrying out with María-Inés de Frutos Fernández to formalize the theory of divided powers. Discovered by Cartan in a context of algebraic topology, this algebraic tool was developed in the 1960s by Roby and is at the … 2 Jun 2025 10:05 - 10:45 Event Assia Mahboubi Formal evidence mutatis mutandis Symposium Abstract As is the case in the literature, the addition of a mathematical concept to a corpus of formal libraries typically gives rise to several variants of definitions, most often equivalent but not always. Unfortunately, transposing the formal theorem … 2 Jun 2025 11:00 - 11:45 Event Pierre-Marie Pedrot Foundations? Symposium Abstract For some years now, computer-aided proof has been attracting an ever-wider audience. Hitherto over-represented in the field of computer science, where it was born, it has begun to arouse a craze among mathematicians that has made its spindles … 2 Jun 2025 14:00 - 14:45 Event Riccardo Brasca Recent Progress in the Formalization of Number Theory Symposium Abstract In this talk, we will discuss the current state of the formalization of modern number theory in mathlib, the mathematical library of Lean. We will highlight recent advancements, key challenges that have been addressed, and the broader … 2 Jun 2025 15:30 - 16:15 Event Denis-Charles Cisinski The logic of higher category theory Symposium Abstract The logic of higher category theory is a variation of type theory that is homotopy theoretic in nature and in which the notion of category is the basic concept. A suitable generalization of Voevodsky's univalence axiom turns this theory into a … 2 Jun 2025 16:30 - 17:15 Event Thierry Coquand Conclusion Symposium 2 Jun 2025 17:15 - 17:20 Event Naama Friedmann How the same dyslexia manifests itself in different languages Guest lecturer Naama Friedmann has been invited by the Collège de France assembly, at the suggestion of Professors Stanislas Dehaene, Experimental Cognitive Psychology Chair , and Luigi Rizzi, General Linguistics Chair … 3 Jun 2025 17:30 - 19:00 Event Hourig Sourouzian Egyptian statuary in temples Guest lecturer Abstract Divine and royal statuary is an integral part of the Egyptian temple. The temples we visit today may have kept their walls, and sometimes even their ceilings, but most of them are almost completely emptied of their rich furnishings, which … 14 May 2025 17:00 - 18:00 Event Stephen Quake Information flow in the cell: from genome to cell type Symposium 16 May 2025 09:10 - 09:50 Event Yaron Antebi Deciphering cellular integration of the contradictory BMP and TGFβ signals Symposium 16 May 2025 09:50 - 10:30 Event Lisa Manning Are cell-scale physical learning rules operating during embryonic development? Symposium 16 May 2025 11:00 - 11:40 Event Manuel Théry What is encoded in the selective stabilization of microtubules? Symposium 16 May 2025 11:40 - 12:20 Event Thomas Gregor Specifying cellular identities in the early fly embryo Symposium 16 May 2025 14:00 - 14:40 Event Madan Rao Decoding & encoding of molecular information, global optimization and geometry Symposium 16 May 2025 14:40 - 15:20 Event Aleksandra Walczak Precision in a rush: temporal aspects of decision making Symposium 16 May 2025 15:20 - 16:00 Event David Brueckner Self-organized information flow in stem cell patterning Symposium 16 May 2025 16:30 - 17:10 Event Claire Wyart Decoding individual variability in motor strategies during navigation Symposium 16 May 2025 17:10 - 17:50 Event Thomas Lecuit Conclusions Symposium 16 May 2025 17:50 - 18:00 Event Éric Ruf, Antoine Lilti & Isabelle Nanty Play: in theaters, cinemas and elsewhere Special events Abstract What a strange thing it is to have as a profession that of acting ! While theater addresses a collective body, present here and now, in a form that will never be reproduced identically, cinema seeks to create the intimate, reproduced and diffused … 14 May 2025 19:00 - 20:30 Series Oxidative Stress in Cancer Hugues de Thé, chair Cellular and Molecular Oncology Symposium H2O2 sensing during wound healing. … 26 May 2025 Pagination First page Previous page … Page 55 Page 56 Page 57 Page 58 Current page 59 Page 60 Page 61 Page 62 Page 63 … Next page Last page
Series Invasion science Franck Courchamp, chair Biodiversity and Ecosystems Seminar Drinking ant. Complementary seminars enrich the program by providing an additional perspective on the subject at the end of each lecture from experts in related fields such as epidemiology, economics and biogeography. The overall aim is to provide a … 05 May 2025 → 30 Jun 2025
Series Inheriting the future Avenir Commun Durable Special events Series of debates co-organized with Alma Mater (inter-university, multidisciplinary and apartisan journal) as part of the Avenir Commun Durable initiative. Under the patronage of Professors Marc Fontecave, Dario Mantovani and Jean-Marie … 05 Jun 2025 → 09 Oct 2025
Series Biological invasions Franck Courchamp, chair Biodiversity and Ecosystems Lecture Drinking ant. The program of this lecture on biological invasions offers an in-depth and diversified exploration of this complex and often misunderstood phenomenon. Through a global and interdisciplinary approach, these eight lectures will highlight the … 05 May 2025 → 30 Jun 2025
Event François Héran Faced with immigration, the scientist and the politician Closing lecture 15 May 2025 17:00 - 18:30
Event Antoine Chambert-Loir On the formalization of divided powers Symposium Abstract I'll report on a project I'm carrying out with María-Inés de Frutos Fernández to formalize the theory of divided powers. Discovered by Cartan in a context of algebraic topology, this algebraic tool was developed in the 1960s by Roby and is at the … 2 Jun 2025 10:05 - 10:45
Event Assia Mahboubi Formal evidence mutatis mutandis Symposium Abstract As is the case in the literature, the addition of a mathematical concept to a corpus of formal libraries typically gives rise to several variants of definitions, most often equivalent but not always. Unfortunately, transposing the formal theorem … 2 Jun 2025 11:00 - 11:45
Event Pierre-Marie Pedrot Foundations? Symposium Abstract For some years now, computer-aided proof has been attracting an ever-wider audience. Hitherto over-represented in the field of computer science, where it was born, it has begun to arouse a craze among mathematicians that has made its spindles … 2 Jun 2025 14:00 - 14:45
Event Riccardo Brasca Recent Progress in the Formalization of Number Theory Symposium Abstract In this talk, we will discuss the current state of the formalization of modern number theory in mathlib, the mathematical library of Lean. We will highlight recent advancements, key challenges that have been addressed, and the broader … 2 Jun 2025 15:30 - 16:15
Event Denis-Charles Cisinski The logic of higher category theory Symposium Abstract The logic of higher category theory is a variation of type theory that is homotopy theoretic in nature and in which the notion of category is the basic concept. A suitable generalization of Voevodsky's univalence axiom turns this theory into a … 2 Jun 2025 16:30 - 17:15
Event Naama Friedmann How the same dyslexia manifests itself in different languages Guest lecturer Naama Friedmann has been invited by the Collège de France assembly, at the suggestion of Professors Stanislas Dehaene, Experimental Cognitive Psychology Chair , and Luigi Rizzi, General Linguistics Chair … 3 Jun 2025 17:30 - 19:00
Event Hourig Sourouzian Egyptian statuary in temples Guest lecturer Abstract Divine and royal statuary is an integral part of the Egyptian temple. The temples we visit today may have kept their walls, and sometimes even their ceilings, but most of them are almost completely emptied of their rich furnishings, which … 14 May 2025 17:00 - 18:00
Event Stephen Quake Information flow in the cell: from genome to cell type Symposium 16 May 2025 09:10 - 09:50
Event Yaron Antebi Deciphering cellular integration of the contradictory BMP and TGFβ signals Symposium 16 May 2025 09:50 - 10:30
Event Lisa Manning Are cell-scale physical learning rules operating during embryonic development? Symposium 16 May 2025 11:00 - 11:40
Event Manuel Théry What is encoded in the selective stabilization of microtubules? Symposium 16 May 2025 11:40 - 12:20
Event Thomas Gregor Specifying cellular identities in the early fly embryo Symposium 16 May 2025 14:00 - 14:40
Event Madan Rao Decoding & encoding of molecular information, global optimization and geometry Symposium 16 May 2025 14:40 - 15:20
Event Aleksandra Walczak Precision in a rush: temporal aspects of decision making Symposium 16 May 2025 15:20 - 16:00
Event David Brueckner Self-organized information flow in stem cell patterning Symposium 16 May 2025 16:30 - 17:10
Event Claire Wyart Decoding individual variability in motor strategies during navigation Symposium 16 May 2025 17:10 - 17:50
Event Éric Ruf, Antoine Lilti & Isabelle Nanty Play: in theaters, cinemas and elsewhere Special events Abstract What a strange thing it is to have as a profession that of acting ! While theater addresses a collective body, present here and now, in a form that will never be reproduced identically, cinema seeks to create the intimate, reproduced and diffused … 14 May 2025 19:00 - 20:30
Series Oxidative Stress in Cancer Hugues de Thé, chair Cellular and Molecular Oncology Symposium H2O2 sensing during wound healing. … 26 May 2025
