Share Facebook LinkedIn Bluesky Threads Copy url Search results Search 24617 results Filters Content type Content type (-) Lessons (24248) News (1808) People (1402) (-) Editions (369) Chair (360) Page (230) Research (27) Library (14) Annual Chair (12) Award (6) Active filters Lessons Editions 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 to 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 to 14: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 to 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 to 16:15 Event Pascal Ludwig & Hélie Bazin Interpreting connectionist AIs Symposium Abstract The linguistic and other productions of certain artificial intelligences are becoming increasingly similar to human productions. In this context, it often seems appropriate to attribute intentional states to these programs. Nevertheless, such an … 27 May 2025 11:00 to 11:55 Event Denis Bonnay Should you think before you speak? Or the philosophical implications of the Chain of Thought Symposium Abstract The latest advances in generative AI are based on a technique called "Chain of Thought" (CoT), which involves making the machine "think" before responding. This was originally a strategy used in queries addressed to classic Large Language Models … 27 May 2025 10:00 to 10: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 to 14:45 Event Daniel Andler Talk to an LLM? Symposium Abstract Large Language Models (LLMs) seem capable of sustaining discussion on all kinds of topics. There are three possible reactions to this observation. We can attribute to LLMs a form of intelligence, which includes a certain understanding of the … 27 May 2025 09:00 to 09:55 Event Bruno Boulestin Interpreting prehistoric cannibalism : the example of the Neolithic site of Herxheim Symposium 4 Jun 2025 17:10 to 17:50 Event Philippe Lefranc Massacres, trophies and victory celebrations in the European Neolithic Symposium 4 Jun 2025 16:40 to 17:10 Event Alain Beyneix Children and death in the Neolithic West Symposium 4 Jun 2025 15:55 to 16:25 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 to 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 to 10:45 Event Bruno Boulestin The multiple burials of European hunter-gatherers : elements of understanding Symposium 4 Jun 2025 14:30 to 14:50 Event Jacques Jaubert Cave art, human contacts and Gravettian burial practices in the Cussac cave Symposium 4 Jun 2025 14:00 to 14:30 Event Pauline Raymond Neanderthal cannibalism Symposium 4 Jun 2025 11:50 to 12:20 Event Bruno Maureille Burials and funerary gestures in the Middle Paleolithic Symposium 4 Jun 2025 11:20 to 11:50 Event Nohemi Sala The Roots of Funerary Behavior in the Middle Pleistocene Symposium 4 Jun 2025 10:50 to 11:20 Event Julien d’Huy Is death an end ? What comparative mythology tells us abouthumanity's earliest beliefs Symposium 4 Jun 2025 09:45 to 10:15 Event Loïc Le Quellec Can we reconstruct the myths of Paleolithic societies ? Symposium 4 Jun 2025 09:15 to 09:45 Series International regional law Samantha Besson, chair International Law of Institutions Seminar Echoing the title of this year's lecture , the title of the seminar is a double-entry : it will deal both with the international law that regions help to adopt, interpret and/or apply (e.g. regional customs and exceptions), and with the international law … 06 Mar 2025 → 11 Apr 2025 Series Photochemical activation Louis Fensterbank, chair Activations in Molecular Chemistry Seminar 05 Mar 2025 → 09 Apr 2025 Series Photochemical activation Louis Fensterbank, chair Activations in Molecular Chemistry Lecture Photochemistry is a branch of chemistry that studies light-induced chemical reactions. It plays an increasingly important role in organic synthesis, offering alternative and often gentler routes to chemical bond formation, echoing Giacomo Ciamician's 1912 … 05 Mar 2025 → 09 Apr 2025 Series International regional law Samantha Besson, chair International Law of Institutions Lecture O caput elleboro dignum (The World in a Madman's Head), 1590. Taking note of the numerous processes of regionalization of international law and, since the end of the Cold War, of their generalization and deepening, and in particular of the multiplication … 06 Mar 2025 → 10 Apr 2025 Pagination First page « First Previous page ‹‹ … Page 50 Page 51 Page 52 Page 53 Page 54 Page 55 Page 56 Page 57 Page 58 … Next page ›› Last page Last »
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 to 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 to 14: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 to 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 to 16:15
Event Pascal Ludwig & Hélie Bazin Interpreting connectionist AIs Symposium Abstract The linguistic and other productions of certain artificial intelligences are becoming increasingly similar to human productions. In this context, it often seems appropriate to attribute intentional states to these programs. Nevertheless, such an … 27 May 2025 11:00 to 11:55
Event Denis Bonnay Should you think before you speak? Or the philosophical implications of the Chain of Thought Symposium Abstract The latest advances in generative AI are based on a technique called "Chain of Thought" (CoT), which involves making the machine "think" before responding. This was originally a strategy used in queries addressed to classic Large Language Models … 27 May 2025 10:00 to 10: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 to 14:45
Event Daniel Andler Talk to an LLM? Symposium Abstract Large Language Models (LLMs) seem capable of sustaining discussion on all kinds of topics. There are three possible reactions to this observation. We can attribute to LLMs a form of intelligence, which includes a certain understanding of the … 27 May 2025 09:00 to 09:55
Event Bruno Boulestin Interpreting prehistoric cannibalism : the example of the Neolithic site of Herxheim Symposium 4 Jun 2025 17:10 to 17:50
Event Philippe Lefranc Massacres, trophies and victory celebrations in the European Neolithic Symposium 4 Jun 2025 16:40 to 17:10
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 to 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 to 10:45
Event Bruno Boulestin The multiple burials of European hunter-gatherers : elements of understanding Symposium 4 Jun 2025 14:30 to 14:50
Event Jacques Jaubert Cave art, human contacts and Gravettian burial practices in the Cussac cave Symposium 4 Jun 2025 14:00 to 14:30
Event Bruno Maureille Burials and funerary gestures in the Middle Paleolithic Symposium 4 Jun 2025 11:20 to 11:50
Event Nohemi Sala The Roots of Funerary Behavior in the Middle Pleistocene Symposium 4 Jun 2025 10:50 to 11:20
Event Julien d’Huy Is death an end ? What comparative mythology tells us abouthumanity's earliest beliefs Symposium 4 Jun 2025 09:45 to 10:15
Event Loïc Le Quellec Can we reconstruct the myths of Paleolithic societies ? Symposium 4 Jun 2025 09:15 to 09:45
Series International regional law Samantha Besson, chair International Law of Institutions Seminar Echoing the title of this year's lecture , the title of the seminar is a double-entry : it will deal both with the international law that regions help to adopt, interpret and/or apply (e.g. regional customs and exceptions), and with the international law … 06 Mar 2025 → 11 Apr 2025
Series Photochemical activation Louis Fensterbank, chair Activations in Molecular Chemistry Seminar 05 Mar 2025 → 09 Apr 2025
Series Photochemical activation Louis Fensterbank, chair Activations in Molecular Chemistry Lecture Photochemistry is a branch of chemistry that studies light-induced chemical reactions. It plays an increasingly important role in organic synthesis, offering alternative and often gentler routes to chemical bond formation, echoing Giacomo Ciamician's 1912 … 05 Mar 2025 → 09 Apr 2025
Series International regional law Samantha Besson, chair International Law of Institutions Lecture O caput elleboro dignum (The World in a Madman's Head), 1590. Taking note of the numerous processes of regionalization of international law and, since the end of the Cold War, of their generalization and deepening, and in particular of the multiplication … 06 Mar 2025 → 10 Apr 2025
