Share Facebook LinkedIn Bluesky Threads Copy url Search results Search 28407 results Filters Content type Content type Lessons (24419) News (1648) People (1341) Chair (359) Editions (351) Page (230) Research (27) Library (14) Annual Chair (12) Award (6) Event Denis-Charles Cisinski The logic of higher categories Symposium Abstract The logic of higher categories (or ∞-categories) is a variation of type theory, which is homotopic in nature and in which the notion of category is the primitive concept - the one that is never defined! An adequate generalization of Voevodsky's … 2 Jun 2025 16:30 - 17:15 Event Louis Fensterbank Reactive and intermediate species (6) Seminar 6 May 2026 11:00 - 12:00 Event Alexandre Gefen The philosophical challenges of augmented art Symposium Abstract What does AI mean for aesthetics? This paper will look at the consequences of AI-enhanced artistic practices on our relationship to art and its philosophy, placing them in the history of modern art and its debates. It will also look at how art … 28 May 2025 09:00 - 09:55 Event Louis Fensterbank Reactive and intermediate species (6) Lecture 6 May 2026 09:30 - 11:00 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 Didier Fassin Présences de Foucault (4) Lecture 26 May 2026 14:00 - 16:15 Event Didier Fassin Thinking with Foucault (4) Seminar 26 May 2026 16:30 - 18:00 Event Lea Ypi Critical reason and the legacy of the Enlightenment: rethinking socialism in the 21st century (8) Lecture 6 May 2026 16:30 - 17:30 Event Pierre-Marie Pédrot To sit on the foundations Symposium Abstract Computer-aided proof is attracting an ever-wider audience. Hitherto over-represented in the field of computer science, where it was born, it has begun to arouse a certain enthusiasm among mathematicians. However, the two communities do not … 2 Jun 2025 14:00 - 14:45 Series Quantum gravity and the Wheeler-DeWitt equation Marc Henneaux, chair Fields, Strings and Gravity Lecture Reconciling the principles of quantum mechanics with Einsteinian gravitation is one of the major challenges of modern physics. The Wheeler-DeWitt equation, introduced in the late 1960s, plays a central role in the canonical approach to the problem of … 14 May 2025 → 18 Jun 2025 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 François Déroche Paul Casanova, Egypt and the Koran Symposium 28 May 2026 09:00 - 18:00 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 Arnaud Albert What can be done to prevent the introduction of invasive alien species? Seminar 12 May 2026 11:15 - 12:15 Event Claude Grison Wetlands and invasive alien species : towards economically viable natural solutions ? Lecture Abstract Wetlands are the world's largest reservoirs of carbonaceous organic matter. They help mitigate extreme climatic events (floods and droughts), purify water and preserve biodiversity. However, 85 % of wetlands were lost in three hundred years ; … 12 May 2026 10:00 - 11:00 Series Electronic transfer Louis Fensterbank, chair Activations in Molecular Chemistry Symposium The "Electronic transfer" symposium will review major advances in the field of single-electron transfer. Lectures at the symposium will showcase various contexts for promoting electron transfer, whether by photochemistry, photocatalysis, electrochemistry … 14 May 2025 Event Dario Mantovani The body of law, "Corpus Iuris". Imagining law through bodily metaphors in Roman legal literature (2) (10) Lecture 27 May 2026 14:30 - 15:30 Event Antoine Georges Topology and electronic correlations: twisted graphene (2) Seminar 13 May 2026 11:30 - 12:30 Event Eloïse Boisseau Experts in paper, carbon and silicon: deference and epistemic technologies in the all-IA era Symposium Abstract The classic epistemological questions revolving around the notions of trust, dependence and expertise in the acquisition of knowledge are today taking on a new twist with the emergence of what are sometimes called "epistemic technologies" … 27 May 2025 17:10 - 18:05 Event Antoine Georges Topology and electronic correlations: twisted graphene (2) Lecture 13 May 2026 09:30 - 11:00 Event Giovanni Tuzet IA et témoignage Symposium Résumé Après avoir présenté ce que j’appelle le cadre des « limites de la raison » et situé l’IA au-delà de la limite supérieure de la raison humaine, j’examinerai si les sorties verbales des systèmes d’IA peuvent être considérées comme une forme de … 27 May 2025 16:10 - 17:05 Event Cyrille Imbert Reliability, dependability, and the problem of generality: a perspective from AI and epistemic machines Symposium Abstract AIs are increasingly involved in the information processing processes from which we elaborate our beliefs. Under these conditions, it is legitimate to ask under what circumstances it is legitimate to consider that such processes are reliable and … 27 May 2025 15:00 - 15:55 Event Philippe Huneman Profiling and generating: the empire of statistics Symposium Abstract Starting from the idea that an epistemological shift from the identification of causes to spaces of massive data saturated with strong correlations characterizes both most of the algorithms encircling our lives - such as recommendation algorithms … 27 May 2025 14:00 - 14:55 Event Didier Fassin Présences de Foucault (5) Lecture 2 Jun 2026 14:00 - 16:15 Pagination First page « First Previous page ‹‹ … Page 98 Page 99 Page 100 Page 101 Page 102 Page 103 Page 104 Page 105 Page 106 … Next page ›› Last page Last »
Event Denis-Charles Cisinski The logic of higher categories Symposium Abstract The logic of higher categories (or ∞-categories) is a variation of type theory, which is homotopic in nature and in which the notion of category is the primitive concept - the one that is never defined! An adequate generalization of Voevodsky's … 2 Jun 2025 16:30 - 17:15
Event Alexandre Gefen The philosophical challenges of augmented art Symposium Abstract What does AI mean for aesthetics? This paper will look at the consequences of AI-enhanced artistic practices on our relationship to art and its philosophy, placing them in the history of modern art and its debates. It will also look at how art … 28 May 2025 09:00 - 09:55
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 Lea Ypi Critical reason and the legacy of the Enlightenment: rethinking socialism in the 21st century (8) Lecture 6 May 2026 16:30 - 17:30
Event Pierre-Marie Pédrot To sit on the foundations Symposium Abstract Computer-aided proof is attracting an ever-wider audience. Hitherto over-represented in the field of computer science, where it was born, it has begun to arouse a certain enthusiasm among mathematicians. However, the two communities do not … 2 Jun 2025 14:00 - 14:45
Series Quantum gravity and the Wheeler-DeWitt equation Marc Henneaux, chair Fields, Strings and Gravity Lecture Reconciling the principles of quantum mechanics with Einsteinian gravitation is one of the major challenges of modern physics. The Wheeler-DeWitt equation, introduced in the late 1960s, plays a central role in the canonical approach to the problem of … 14 May 2025 → 18 Jun 2025
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 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 Arnaud Albert What can be done to prevent the introduction of invasive alien species? Seminar 12 May 2026 11:15 - 12:15
Event Claude Grison Wetlands and invasive alien species : towards economically viable natural solutions ? Lecture Abstract Wetlands are the world's largest reservoirs of carbonaceous organic matter. They help mitigate extreme climatic events (floods and droughts), purify water and preserve biodiversity. However, 85 % of wetlands were lost in three hundred years ; … 12 May 2026 10:00 - 11:00
Series Electronic transfer Louis Fensterbank, chair Activations in Molecular Chemistry Symposium The "Electronic transfer" symposium will review major advances in the field of single-electron transfer. Lectures at the symposium will showcase various contexts for promoting electron transfer, whether by photochemistry, photocatalysis, electrochemistry … 14 May 2025
Event Dario Mantovani The body of law, "Corpus Iuris". Imagining law through bodily metaphors in Roman legal literature (2) (10) Lecture 27 May 2026 14:30 - 15:30
Event Antoine Georges Topology and electronic correlations: twisted graphene (2) Seminar 13 May 2026 11:30 - 12:30
Event Eloïse Boisseau Experts in paper, carbon and silicon: deference and epistemic technologies in the all-IA era Symposium Abstract The classic epistemological questions revolving around the notions of trust, dependence and expertise in the acquisition of knowledge are today taking on a new twist with the emergence of what are sometimes called "epistemic technologies" … 27 May 2025 17:10 - 18:05
Event Antoine Georges Topology and electronic correlations: twisted graphene (2) Lecture 13 May 2026 09:30 - 11:00
Event Giovanni Tuzet IA et témoignage Symposium Résumé Après avoir présenté ce que j’appelle le cadre des « limites de la raison » et situé l’IA au-delà de la limite supérieure de la raison humaine, j’examinerai si les sorties verbales des systèmes d’IA peuvent être considérées comme une forme de … 27 May 2025 16:10 - 17:05
Event Cyrille Imbert Reliability, dependability, and the problem of generality: a perspective from AI and epistemic machines Symposium Abstract AIs are increasingly involved in the information processing processes from which we elaborate our beliefs. Under these conditions, it is legitimate to ask under what circumstances it is legitimate to consider that such processes are reliable and … 27 May 2025 15:00 - 15:55
Event Philippe Huneman Profiling and generating: the empire of statistics Symposium Abstract Starting from the idea that an epistemological shift from the identification of causes to spaces of massive data saturated with strong correlations characterizes both most of the algorithms encircling our lives - such as recommendation algorithms … 27 May 2025 14:00 - 14:55
