Share Facebook LinkedIn Bluesky Threads Copy url Search results Search 24649 results Filters Content type Content type (-) Lessons (24419) News (1649) People (1341) Chair (359) Editions (351) (-) Page (230) Research (27) Library (14) Annual Chair (12) Award (6) Active filters Lessons Page Event Loïc Le Quellec Can we reconstruct the myths of Paleolithic societies ? Symposium 4 Jun 2025 09:15 - 09:45 Series Electrolyte materials and interfaces for the Na-ion battery, the eco-responsible little sister to the Li-ion battery Jean-Marie Tarascon, chair Chemistry of Materials and Energy Symposium 15 May 2025 Event Pierre Saint-Germier Deep musical expression Symposium Abstract Recent applications of music-generating AI can now generate pieces of different musical genres with unexpected levels of expressiveness. An old and common criticism of algorithmically generated music stems from its supposed inability to express … 28 May 2025 11:00 - 11:55 Event Patrick Boucheron World Histories of Nations (1) Symposium 11 Jun 2026 09:00 - 18:00 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 Jim Gabaret AI art and the criterion of intentionality Symposium Abstract Generative AIs today offer textual, musical or pictorial productions of "artistic" content, which are used by Internet users and professional artists alike. But beyond the new tool on offer here, with its advantages, biases and risks, is there … 28 May 2025 10:00 - 10: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 Louis Fensterbank Electronic transfer (2) Symposium 21 May 2026 09:00 - 18: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 Patrick Boucheron World Histories of Nations (2) Symposium 12 Jun 2026 09:00 - 18:00 Series The International Court of Justice and its Critics Samantha Besson, chair International Law of Institutions Guest lecturer 13 May 2025 Event Denis Duboule The Evolution of Developmental Mechanisms Symposium 21 May 2026 09:00 - 18:00 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 Event Sandra Lavorel Towards a functional ecology of landscapes Lecture Abstract This lecture will address the research front on the effects of landscape structure on its multiple functions. After summarizing the effects of landscape composition, it will focus on the most recent findings on the effects of spatial … 26 May 2026 14:00 - 15:30 Series Geoengineering at a glance François-Marie Bréon, chair Avenir Commun Durable Symposium Presentation Geoengineering is the term used to describe a set of techniques designed to manipulate and modify the Earth's climate and environment on a large scale. Faced with the difficulty of public policies to reduce greenhouse gas emissions and the … 15 May 2025 Series The book in the Muslim world. History and techniques François Déroche, chair History of the Koran. Text and transmission Symposium Presentation Studies on the materiality and history of the manuscript book in the Arab-Islamic world provide a better understanding of a tradition that spans eighteen centuries - printing only having begun to play an effective role at a late date. We are … 15 May 2025 → 16 May 2025 Event Claude Grison Symbioses: from plant/microbe mutualism to the symbiotic economy Symposium Life is animated by a secret life of encounters, interactions and associations that are sometimes unsuspected. These biotic interactions can be beneficial, ineffective or harmful. On the whole, interactions are most often mutually beneficial (mutualism), … 26 May 2026 09:00 - 18:00 Event Sandra Lavorel Towards a functional landscape ecology for a resilient and sustainable future Symposium This symposium will bring together researchers specializing in functional ecology, landscape ecology and genetics, and sustainability science to discuss the latest insights into the mechanisms linking landscape structure, biodiversity and multiple … 27 May 2026 09:00 - 18:00 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 Jean Dalibard Quantum gas mixtures (1) Seminar 22 May 2026 11:00 - 12:30 Event Jean Dalibard Quantum gas mixtures (1) Lecture 22 May 2026 09:30 - 11: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 Marc Henneaux Non-relativistic limits of Einstein's theory and applications (2) Lecture 27 May 2026 14:00 - 15:30 Event Marc Henneaux Non-relativistic limits of Einstein's theory and applications (2) Seminar 27 May 2026 16:00 - 17:30 Pagination First page « First Previous page ‹‹ … Page 28 Page 29 Page 30 Page 31 Page 32 Page 33 Page 34 Page 35 Page 36 … Next page ›› Last page Last »
Event Loïc Le Quellec Can we reconstruct the myths of Paleolithic societies ? Symposium 4 Jun 2025 09:15 - 09:45
Series Electrolyte materials and interfaces for the Na-ion battery, the eco-responsible little sister to the Li-ion battery Jean-Marie Tarascon, chair Chemistry of Materials and Energy Symposium 15 May 2025
Event Pierre Saint-Germier Deep musical expression Symposium Abstract Recent applications of music-generating AI can now generate pieces of different musical genres with unexpected levels of expressiveness. An old and common criticism of algorithmically generated music stems from its supposed inability to express … 28 May 2025 11:00 - 11:55
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 Jim Gabaret AI art and the criterion of intentionality Symposium Abstract Generative AIs today offer textual, musical or pictorial productions of "artistic" content, which are used by Internet users and professional artists alike. But beyond the new tool on offer here, with its advantages, biases and risks, is there … 28 May 2025 10:00 - 10: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 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
Series The International Court of Justice and its Critics Samantha Besson, chair International Law of Institutions Guest lecturer 13 May 2025
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
Event Sandra Lavorel Towards a functional ecology of landscapes Lecture Abstract This lecture will address the research front on the effects of landscape structure on its multiple functions. After summarizing the effects of landscape composition, it will focus on the most recent findings on the effects of spatial … 26 May 2026 14:00 - 15:30
Series Geoengineering at a glance François-Marie Bréon, chair Avenir Commun Durable Symposium Presentation Geoengineering is the term used to describe a set of techniques designed to manipulate and modify the Earth's climate and environment on a large scale. Faced with the difficulty of public policies to reduce greenhouse gas emissions and the … 15 May 2025
Series The book in the Muslim world. History and techniques François Déroche, chair History of the Koran. Text and transmission Symposium Presentation Studies on the materiality and history of the manuscript book in the Arab-Islamic world provide a better understanding of a tradition that spans eighteen centuries - printing only having begun to play an effective role at a late date. We are … 15 May 2025 → 16 May 2025
Event Claude Grison Symbioses: from plant/microbe mutualism to the symbiotic economy Symposium Life is animated by a secret life of encounters, interactions and associations that are sometimes unsuspected. These biotic interactions can be beneficial, ineffective or harmful. On the whole, interactions are most often mutually beneficial (mutualism), … 26 May 2026 09:00 - 18:00
Event Sandra Lavorel Towards a functional landscape ecology for a resilient and sustainable future Symposium This symposium will bring together researchers specializing in functional ecology, landscape ecology and genetics, and sustainability science to discuss the latest insights into the mechanisms linking landscape structure, biodiversity and multiple … 27 May 2026 09:00 - 18:00
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 Marc Henneaux Non-relativistic limits of Einstein's theory and applications (2) Lecture 27 May 2026 14:00 - 15:30
Event Marc Henneaux Non-relativistic limits of Einstein's theory and applications (2) Seminar 27 May 2026 16:00 - 17:30
