Share Facebook LinkedIn Bluesky Threads Copy url Search results Search 25770 results Filters Content type Content type (-) Lessons (24021) (-) News (1749) People (1389) Editions (362) Chair (360) Page (231) Research (27) Library (14) Annual Chair (12) Award (6) Active filters Lessons News Event Thierry Coquand Type theory, from Russell to de Bruijn Lecture Lecture outline : russell type theory ; church's λ-calculus notation for functions ; simple type theory and the HOL system ; introduction to dependent types, AUTOMATH system ; uniform treatment of mathematical objects and proofs ; proof checking … 17 Mar 2025 10:00 to 11:00 Event Dominique Charpin Provincial governors Lecture Abstract The publication of letters from the time of Zimri-Lim began with the corpus of governors' letters : Kibri-Dagan in Terqa and Bahdi-Lim in Mari, then Yaqqim-Addu in Saggaratum. Since then, the dossier has become both richer and more complex : … 17 Mar 2025 11:00 to 12:00 Series No lectures this year Xavier Leroy, chair Software Science Lecture 01 Sep 2024 Series No lectures this year Jean-François Joanny, chair Soft Matter and Biophysics Lecture 01 Sep 2024 Series No lectures this year Marc Fontecave, chair Chemistry of Biological Processes Lecture 01 Sep 2024 Event Amélie Bonnefond Type 2diabetes and obesity : more than just diseases linked to junk food and a sedentary lifestyle Seminar Abstract Type 2 diabetes and obesity are global epidemics, associated with high rates of morbidity and mortality. These diseases significantly reduce patients' life expectancy and represent a major economic burden for public health systems. Often … 14 Mar 2025 11:00 to 12:30 Event Lluis Quintana-Murci Genetic diversity : from the Human Genome Project to the era of thousands of genomes Lecture Abstract The Human Genome Project ushered in the era of modern human genetics, providing key insights into the structure and content of the genome. However, when it comes to the extent of genetic diversity between individuals or populations, sequencing … 14 Mar 2025 09:30 to 11:00 Event Denis Duboule Transposable elements and " enhancer "sequences ? Lecture Abstract Content of enhancers and links to transcription factors ; orthography, syntax and grammar. Genomic topology of enhancers. In this fourth lesson, the ways in which enhancers can bind transcription factors are described, along with the notion of … 14 Mar 2025 10:00 to 11:30 Series No lectures this year Dario Mantovani, chair Law, Culture and Society in Ancient Rome Lecture 01 Sep 2024 Series No lectures this year François-Xavier Fauvelle, chair History and Archaeology of African Worlds Lecture 01 Sep 2024 Series No lectures this year Esther Duflo, chair Poverty and Public Policy Lecture 01 Sep 2024 Event Sophia Aneziri Foundations in ancient Greece: a hybrid institution Guest lecturer 5 Feb 2025 17:30 to 18:30 Event Thierry Coquand Type theory, from Russell to demonstration assistants Opening lecture Abstract Type theory was introduced by Bertrand Russell to avoid the paradoxes that arise in mathematics when the notion of a collection of objects is used too naively. This notion of types was refined by the notion of dependent types, with the aim of … 13 Mar 2025 18:00 to 19:00 Event Éric Van Den Ejden Data generation with streams and broadcasts Seminar Abstract Generative models based on dynamic transport have recently led to significant advances in unsupervised learning. At the mathematical level, these models are mainly designed around the construction of a function between two probability … 12 Mar 2025 11:15 to 12:30 Event David Aitken Photochemical reactions for the synthesis of 4-membered cyclic compounds: applications and discoveries Seminar Abstract Photochemical transformations are powerful tools for organic synthesis. In the contemporary context, marked by the importance of green chemistry principles and sustainable development, the use of light to carry out selective reactions offers … 12 Mar 2025 11:00 to 12:00 Event Jaeyoung Jeon Israel's desert wars in Exodus and Numbers Seminar Documents and media Download support … 13 Mar 2025 15:15 to 16:45 Event Stéphane Mallat AI data generation by transport and denoising (8) Lecture 12 Mar 2025 09:30 to 11:00 Event Frantz Grenet Identifying the subjects of painted folktales (Aesopian repertory, Pancatantra, other Indian repertories, "Types of International Folktales") Lecture 13 Mar 2025 15:30 to 16:30 Event Julie Dainville At the school of the rhetor : papyrological evidence of the teaching of rhetoric Seminar Abstract It is now well established that rhetoric occupied an important place in the educational system of Greco-Roman antiquity. In recent years, scholarly interest in this discipline has intensified, paving the way for significant advances, particularly … 13 Mar 2025 15:30 to 17:00 Event Thomas Römer The miraculous crossing of the Jordan (Jos 3-4, continued) and the rituals for entering the land (Jos 5) Lecture Abstract Continuation of previous lecture. Crossing the Jordan means entering the land. Before the conquest took place, Joshua circumcised the desert generation and celebrated the first Passover in the land (Jos 5). This raises the question of how these … 13 Mar 2025 14:00 to 15:00 Event Louis Fensterbank Photochemistry of carbonyl derivatives Lecture 12 Mar 2025 09:30 to 11:00 Event Vinciane Pirenne-Delforge Hecate's goodwill and Prometheus' cunning Lecture Abstract In Hesiod's Theogony , the expression "hiera erdein", "to make sacred portions", appears only once, in the introduction to the long passage that moderns have taken to calling the "hymn to Hecate". The forty or so verses (411-452) devoted to this … 13 Mar 2025 11:00 to 12:00 Event Mathias Forteau Regional rights and regionalism in the work of the UN International Law Commission Seminar Abstract At a time when the framers of the United Nations Charter were somewhat wary of regional bodies and the threats they could pose to the advent of a new, fully universal international law, the statute of the United Nations International Law … 13 Mar 2025 15:30 to 17:00 Event Samantha Besson Adopting universal international law in a pluriverse civilization : the role of intra- and inter-regional cooperation Lecture 13 Mar 2025 10:00 to 11:30 Pagination First page « First Previous page ‹‹ … Page 67 Page 68 Page 69 Page 70 Page 71 Page 72 Page 73 Page 74 Page 75 … Next page ›› Last page Last »
Event Thierry Coquand Type theory, from Russell to de Bruijn Lecture Lecture outline : russell type theory ; church's λ-calculus notation for functions ; simple type theory and the HOL system ; introduction to dependent types, AUTOMATH system ; uniform treatment of mathematical objects and proofs ; proof checking … 17 Mar 2025 10:00 to 11:00
Event Dominique Charpin Provincial governors Lecture Abstract The publication of letters from the time of Zimri-Lim began with the corpus of governors' letters : Kibri-Dagan in Terqa and Bahdi-Lim in Mari, then Yaqqim-Addu in Saggaratum. Since then, the dossier has become both richer and more complex : … 17 Mar 2025 11:00 to 12:00
Series No lectures this year Jean-François Joanny, chair Soft Matter and Biophysics Lecture 01 Sep 2024
Series No lectures this year Marc Fontecave, chair Chemistry of Biological Processes Lecture 01 Sep 2024
Event Amélie Bonnefond Type 2diabetes and obesity : more than just diseases linked to junk food and a sedentary lifestyle Seminar Abstract Type 2 diabetes and obesity are global epidemics, associated with high rates of morbidity and mortality. These diseases significantly reduce patients' life expectancy and represent a major economic burden for public health systems. Often … 14 Mar 2025 11:00 to 12:30
Event Lluis Quintana-Murci Genetic diversity : from the Human Genome Project to the era of thousands of genomes Lecture Abstract The Human Genome Project ushered in the era of modern human genetics, providing key insights into the structure and content of the genome. However, when it comes to the extent of genetic diversity between individuals or populations, sequencing … 14 Mar 2025 09:30 to 11:00
Event Denis Duboule Transposable elements and " enhancer "sequences ? Lecture Abstract Content of enhancers and links to transcription factors ; orthography, syntax and grammar. Genomic topology of enhancers. In this fourth lesson, the ways in which enhancers can bind transcription factors are described, along with the notion of … 14 Mar 2025 10:00 to 11:30
Series No lectures this year Dario Mantovani, chair Law, Culture and Society in Ancient Rome Lecture 01 Sep 2024
Series No lectures this year François-Xavier Fauvelle, chair History and Archaeology of African Worlds Lecture 01 Sep 2024
Event Sophia Aneziri Foundations in ancient Greece: a hybrid institution Guest lecturer 5 Feb 2025 17:30 to 18:30
Event Thierry Coquand Type theory, from Russell to demonstration assistants Opening lecture Abstract Type theory was introduced by Bertrand Russell to avoid the paradoxes that arise in mathematics when the notion of a collection of objects is used too naively. This notion of types was refined by the notion of dependent types, with the aim of … 13 Mar 2025 18:00 to 19:00
Event Éric Van Den Ejden Data generation with streams and broadcasts Seminar Abstract Generative models based on dynamic transport have recently led to significant advances in unsupervised learning. At the mathematical level, these models are mainly designed around the construction of a function between two probability … 12 Mar 2025 11:15 to 12:30
Event David Aitken Photochemical reactions for the synthesis of 4-membered cyclic compounds: applications and discoveries Seminar Abstract Photochemical transformations are powerful tools for organic synthesis. In the contemporary context, marked by the importance of green chemistry principles and sustainable development, the use of light to carry out selective reactions offers … 12 Mar 2025 11:00 to 12:00
Event Jaeyoung Jeon Israel's desert wars in Exodus and Numbers Seminar Documents and media Download support … 13 Mar 2025 15:15 to 16:45
Event Stéphane Mallat AI data generation by transport and denoising (8) Lecture 12 Mar 2025 09:30 to 11:00
Event Frantz Grenet Identifying the subjects of painted folktales (Aesopian repertory, Pancatantra, other Indian repertories, "Types of International Folktales") Lecture 13 Mar 2025 15:30 to 16:30
Event Julie Dainville At the school of the rhetor : papyrological evidence of the teaching of rhetoric Seminar Abstract It is now well established that rhetoric occupied an important place in the educational system of Greco-Roman antiquity. In recent years, scholarly interest in this discipline has intensified, paving the way for significant advances, particularly … 13 Mar 2025 15:30 to 17:00
Event Thomas Römer The miraculous crossing of the Jordan (Jos 3-4, continued) and the rituals for entering the land (Jos 5) Lecture Abstract Continuation of previous lecture. Crossing the Jordan means entering the land. Before the conquest took place, Joshua circumcised the desert generation and celebrated the first Passover in the land (Jos 5). This raises the question of how these … 13 Mar 2025 14:00 to 15:00
Event Vinciane Pirenne-Delforge Hecate's goodwill and Prometheus' cunning Lecture Abstract In Hesiod's Theogony , the expression "hiera erdein", "to make sacred portions", appears only once, in the introduction to the long passage that moderns have taken to calling the "hymn to Hecate". The forty or so verses (411-452) devoted to this … 13 Mar 2025 11:00 to 12:00
Event Mathias Forteau Regional rights and regionalism in the work of the UN International Law Commission Seminar Abstract At a time when the framers of the United Nations Charter were somewhat wary of regional bodies and the threats they could pose to the advent of a new, fully universal international law, the statute of the United Nations International Law … 13 Mar 2025 15:30 to 17:00
Event Samantha Besson Adopting universal international law in a pluriverse civilization : the role of intra- and inter-regional cooperation Lecture 13 Mar 2025 10:00 to 11:30