Share Facebook X (ex-Twitter) Linkedin Copy url Search results Search 22963 results Filters Content type Close Content type Content type (-) Lessons (22963) News (1465) People (1296) Chair (351) Editions (325) Page (226) Research (26) Library (14) Annual Chair (12) Award (6) Active filters Lessons 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 - 19:00 Event Jean-Luc Fournet The calamus and the cross : the Christianization of writing and the fate of classical culture in Late Antiquity (6). Schools (3) (5) Lecture 12 Mar 2025 11:00 - 12:00 Event Antoine Lilti In the name of the universal : crises and legacies (10) Lecture 12 Mar 2025 14:30 - 15:30 Event Jennifer French Learning from Experience: Integrating Effective Community Engagement into Neurotechnology Development Symposium Abstract In today's ever-evolving landscape of neurotechnology, the intersection between technological advancements and community engagement holds significant importance. This is especially evident in the context of groundbreaking first-in-human clinical … 14 Jun 2024 14:00 - 14:40 Event Patrick Boucheron The sex of power (10) Lecture 11 Mar 2025 14:00 - 15:00 Event Vinciane Pirenne-Delforge The gods' share : Greece as a sacrificial culture (7) Lecture 13 Mar 2025 11:00 - 12:00 Event Thomas Römer God at war : stories of conquest in the book of Joshua (5) Lecture 13 Mar 2025 14:00 - 15:00 Event Thomas Römer Wars, conquests and peace strategies in the Ancient Near East and the Bible (5) Seminar 13 Mar 2025 15:30 - 16:30 Event Frantz Grenet Central Asia's lost literatures saved by the figurative arts (7) Lecture 13 Mar 2025 15:30 - 16:30 Event Jean-Luc Fournet New school papyri (or other) (3) (5) Seminar 13 Mar 2025 15:30 - 17:00 Event Louis Fensterbank Photochemical activation (4) Lecture 26 Mar 2025 09:30 - 11:00 Event Louis Fensterbank Photochemical activation (4) Seminar 26 Mar 2025 11:00 - 12:00 Event Edouard Bard Climates and human societies over the past two thousand years (5) Lecture 14 Mar 2025 15:00 - 16:30 Event Martina Schiavon The builders of scientific instruments around the Collège de France (18th-19th century), a history yet to be written Special events Abstract Lenoir, Fortin, Duboscq, Dumotiez, Carpentier, Breguet, Gaiffe... these are just some of the names of the scientific instrument builders who were based near the Collège de France between the end of the 18th century and the 19th century. Through … 26 Jun 2024 18:00 - 19:00 Event Samantha Besson International regional law (2) Lecture 13 Mar 2025 10:00 - 11:30 Event Mathias Forteau International regional law (2) Seminar 13 Mar 2025 15:30 - 17:00 Event Lluis Quintana-Murci Human genomics (4) Lecture 28 Mar 2025 09:30 - 11:00 Event Lluis Quintana-Murci Human genomics (4) Seminar 28 Mar 2025 11:00 - 12:30 Event Thierry Coquand Type theory, from Russell to de Bruijn Lecture Lecture outline : Russell's 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 verification as type … 17 Mar 2025 10:00 - 11:00 Event Denis Duboule Long-range regulation of developmental genes (6) Lecture 28 Mar 2025 10:00 - 11:30 Event Roger Chartier Conclusions Symposium 19 Jun 2024 16:30 - 17:30 Event Antoine Lilti Discussion Symposium Chair : Arnaud Orain (EHESS) . … 19 Jun 2024 15:45 - 16:30 Event Hélène Boons Scopic journalism : looking at the world Symposium Chair : Arnaud Orain (EHESS). … 19 Jun 2024 15:00 - 15:30 Event Christoph Streb Media fire Symposium Chair : Arnaud Orain (EHESS). … 19 Jun 2024 14:30 - 15:00 Pagination First page Previous page … Page 26 Page 27 Page 28 Page 29 Current page 30 Page 31 Page 32 Page 33 Page 34 … Next page Last page
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 - 19:00
Event Jean-Luc Fournet The calamus and the cross : the Christianization of writing and the fate of classical culture in Late Antiquity (6). Schools (3) (5) Lecture 12 Mar 2025 11:00 - 12:00
Event Antoine Lilti In the name of the universal : crises and legacies (10) Lecture 12 Mar 2025 14:30 - 15:30
Event Jennifer French Learning from Experience: Integrating Effective Community Engagement into Neurotechnology Development Symposium Abstract In today's ever-evolving landscape of neurotechnology, the intersection between technological advancements and community engagement holds significant importance. This is especially evident in the context of groundbreaking first-in-human clinical … 14 Jun 2024 14:00 - 14:40
Event Vinciane Pirenne-Delforge The gods' share : Greece as a sacrificial culture (7) Lecture 13 Mar 2025 11:00 - 12:00
Event Thomas Römer God at war : stories of conquest in the book of Joshua (5) Lecture 13 Mar 2025 14:00 - 15:00
Event Thomas Römer Wars, conquests and peace strategies in the Ancient Near East and the Bible (5) Seminar 13 Mar 2025 15:30 - 16:30
Event Frantz Grenet Central Asia's lost literatures saved by the figurative arts (7) Lecture 13 Mar 2025 15:30 - 16:30
Event Edouard Bard Climates and human societies over the past two thousand years (5) Lecture 14 Mar 2025 15:00 - 16:30
Event Martina Schiavon The builders of scientific instruments around the Collège de France (18th-19th century), a history yet to be written Special events Abstract Lenoir, Fortin, Duboscq, Dumotiez, Carpentier, Breguet, Gaiffe... these are just some of the names of the scientific instrument builders who were based near the Collège de France between the end of the 18th century and the 19th century. Through … 26 Jun 2024 18:00 - 19:00
Event Thierry Coquand Type theory, from Russell to de Bruijn Lecture Lecture outline : Russell's 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 verification as type … 17 Mar 2025 10:00 - 11:00
Event Denis Duboule Long-range regulation of developmental genes (6) Lecture 28 Mar 2025 10:00 - 11:30
Event Hélène Boons Scopic journalism : looking at the world Symposium Chair : Arnaud Orain (EHESS). … 19 Jun 2024 15:00 - 15:30