Share Facebook LinkedIn Bluesky Threads Copy url Search results Search 25760 results Filters Content type Content type (-) Lessons (24419) News (1647) (-) People (1341) Chair (359) Editions (351) Page (230) Research (27) Library (14) Annual Chair (12) Award (6) Active filters Lessons People Event Pauline Raymond Neanderthal cannibalism Symposium 4 Jun 2025 11:50 - 12:20 Event Bruno Maureille Burials and funerary gestures in the Middle Paleolithic Symposium 4 Jun 2025 11:20 - 11:50 Event Nohemi Sala The Roots of Funerary Behavior in the Middle Pleistocene Symposium 4 Jun 2025 10:50 - 11:20 Event Antoine Georges Topology and electronic correlations: twisted graphene (2) Seminar 13 May 2026 11:30 - 12:30 Event Julien d’Huy Is death an end ? What comparative mythology tells us abouthumanity's earliest beliefs Symposium 4 Jun 2025 09:45 - 10:15 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 Antoine Georges Topology and electronic correlations: twisted graphene (2) Lecture 13 May 2026 09:30 - 11:00 Event Loïc Le Quellec Can we reconstruct the myths of Paleolithic societies ? Symposium 4 Jun 2025 09:15 - 09:45 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 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 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 Event Didier Fassin Présences de Foucault (5) Lecture 2 Jun 2026 14:00 - 16:15 Event Didier Fassin Thinking with Foucault (5) Seminar 2 Jun 2026 16:30 - 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 Lea Ypi Socialism and liberal egalitarianism: a necessary dialogue Symposium 15 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 Didier Fassin Foucault's Legacies Symposium 5 Jun 2026 09:00 - 18:00 Event Antoine Georges Topology and electronic correlations: twisted graphene (3) Lecture Exceptionally, the lecture will take place on Mondays from 9.30am to 11am. … 18 May 2026 09:30 - 11:00 Event Antoine Georges Topology and electronic correlations: twisted graphene (3) Seminar Exceptionally, the seminar will take place on Monday from 11:30am to 12:30pm. … 18 May 2026 11:30 - 12:30 Event Antoine Lilti Science and Enlightenment. New objects, new challenges (1) Symposium 3 Jun 2026 09:00 - 18:00 Event Dario Mantovani Putting it another way: what is metaphor? (6) Seminar 3 Jun 2026 16:00 - 19:00 Event Dario Mantovani The body of law, "Corpus Iuris". Imagining law through bodily metaphors in Roman legal literature (2) (11) Lecture 3 Jun 2026 14:30 - 15:30 Pagination First page « First Previous page ‹‹ … Page 83 Page 84 Page 85 Page 86 Page 87 Page 88 Page 89 Page 90 Page 91 … Next page ›› Last page Last »
Event Bruno Maureille Burials and funerary gestures in the Middle Paleolithic Symposium 4 Jun 2025 11:20 - 11:50
Event Nohemi Sala The Roots of Funerary Behavior in the Middle Pleistocene Symposium 4 Jun 2025 10:50 - 11:20
Event Antoine Georges Topology and electronic correlations: twisted graphene (2) Seminar 13 May 2026 11:30 - 12:30
Event Julien d’Huy Is death an end ? What comparative mythology tells us abouthumanity's earliest beliefs Symposium 4 Jun 2025 09:45 - 10:15
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 Antoine Georges Topology and electronic correlations: twisted graphene (2) Lecture 13 May 2026 09:30 - 11:00
Event Loïc Le Quellec Can we reconstruct the myths of Paleolithic societies ? Symposium 4 Jun 2025 09:15 - 09:45
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 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 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
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 Lea Ypi Socialism and liberal egalitarianism: a necessary dialogue Symposium 15 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 Antoine Georges Topology and electronic correlations: twisted graphene (3) Lecture Exceptionally, the lecture will take place on Mondays from 9.30am to 11am. … 18 May 2026 09:30 - 11:00
Event Antoine Georges Topology and electronic correlations: twisted graphene (3) Seminar Exceptionally, the seminar will take place on Monday from 11:30am to 12:30pm. … 18 May 2026 11:30 - 12:30
Event Antoine Lilti Science and Enlightenment. New objects, new challenges (1) Symposium 3 Jun 2026 09:00 - 18:00
Event Dario Mantovani The body of law, "Corpus Iuris". Imagining law through bodily metaphors in Roman legal literature (2) (11) Lecture 3 Jun 2026 14:30 - 15:30