- Univalent Foundations and UniMath for the formalization of (higher) category theory
Machine-Assisted Proofs, Institute for Pure and Applied Mathematics, UCLA, Los Angeles, USA, 2023-02-13
(slides, video)
- Semantics for two-dimensional type theory
LICS 2022, Haifa, Israel, 2022-08-02
(slides)
- Le principe d’univalence : le transfer du raisonnement à traver les equivalences
Workshop Schlumberger : types dépendants et formalisation des mathématiques, Institut des Hautes Etudes Scientifiques (IHES), Paris, France, 2022-06-15
(slides, video)
- Two Notions of Signature for the Univalence Principle
Logic Seminar, Stockholm University, Sweden, 2022-05-25
(slides)
- The Univalence Principle
Dutch Categories And Types Seminar, Amsterdam, Netherlands, 2021-10-27 (postponed)
(slides)
- What is (Homotopy) Type Theory?
Seminar talk, TU Delft, Netherlands, 2021-10-21
(slides)
- The role of B- and C-systems in Voevodsky’s program on type theory
Seminar talk, University of Ljubljana, Slovenia, 2021-05-20
(slides)
- The Univalence Principle
Theorie-Kolloquium, Universität Potsdam, Germany, 2021-04-20
(slides)
- The Univalence Principle
Carl Friedrich von Weizsäcker-Kolloquium, Universität Tübingen, Germany, 2021-02-17
(slides)
- A Higher Structure Identity Principle
Workshop Foundations and Applications of Univalent Mathematics, Herrsching, Germany, 2019-12-18
(slides)
- Initial semantics for lambda calculi
LogSem Seminar, Aarhus University, Denmark, 2019-10-07
(slides)
- Initial semantics for lambda calculi
Stockholm Logic Seminar, University of Stockholm, Sweden, 2019-10-01
(slides)
- Mechanically verified mathematics in univalent foundations
Summer School on Higher Topos Theory and Univalent Foundations, University of Leeds, UK, 2019-06-27
(slides)
- Univalent Foundations – an introduction
6th Workshop on Formal Topology, University of Birmingham, UK, 2019-04-08
(slides)
- Initial semantics for some untyped languages
Special Year on HoTT/UF, Centre for Advanced Study, Oslo, Norway, 2019-02-14
(slides)
- Towards a Higher Structure Identity Principle
Oxford Advanced Seminar on Informatic Structures, Oxford, UK, 2018-10-12
(slides)
- Univalent foundations and the equivalence principle
Vladimir Voevodsky Memorial Conference, Princeton, NJ, USA, 2018-09-12
(slides)
- A Higher Structure Identity Principle
Kick-Off Meeting of the Special Year on HoTT/UF, Centre for Advanced Study, Oslo, Norway, 2018-08-27
(slides)
- A modular formalization of bicategories in type theory
TYPES 2018, Braga, Portugal, 2018-06-20
(slides)
- A Higher Structure Identity Principle
FP lunch at University of Nottingham, UK, 2018-06-01
- Univalent foundations and the equivalence principle
Homotopy Type Theory seminar at Ohio State University, Columbus, Ohio, USA, 2018-02-01 and 2018-02-08
(slides, UniMath code)
- Categorical structures for type theory in univalent foundations
Research Programme on Big Proof , Isaac Newton Institute for Mathematical Sciences, Cambridge, UK, 2017-07-27
(slides)
- UniMath with Catherine Lelay
Research Programme on Big Proof , Isaac Newton Institute for Mathematical Sciences, Cambridge, UK, 2017-07-07
(slides)
- Displayed categories
Stockholm Logic Seminar, Stockholm University, Sweden, 2017-04-12
- Introduction to homotopy type theory
Workshop on Geometry and Computer Science, Università Chieti-Pescara, Italy, 2017-02-08
- Displayed categories
Workshop on Syntax and Semantics of Type Theory, Ljubljana, Slovenia, 2017-02-01
- Displayed categories
Category Theory Seminar, Centre for Mathematical Sciences, University of Cambridge, UK, 2016-11-01
- Univalent foundations and the equivalence principle
Workshop Foundations of Mathematics: Univalent foundations and set theory
Zentrum für interdisziplinäre Forschung, Bielefeld, Germany, 2016-07-19
(slides)
- From natural numbers to the lambda calculus
International Congress on Mathematical Software 2016
Berlin, Germany, 2016-07-14
(slides)
- Univalent Foundations and the equivalence principle
Department of mathematics, University of Nantes , 2016-05-02
(slides)
- Categorical structures in type theory, in type theory
Workshop on Homotopy Type Theory and Univalent Foundations of Mathematics
Fields Institute, Toronto, Canada, 2016-05-20
(slides)
- Univalent Foundations and the equivalence principle
Institute for Advanced Study, Princeton, 2015-09-21
(slides)
- Models of type theory in univalent mathematics
Workshop on HoTT/Univalent Foundations, associated to RDP 2015, 2015-06-30 (about jww with Peter Lumsdaine and Vladimir Voevodsky)
(slides)
- Univalent Foundations and the equivalence principle
Conference on Mathematics and its Applications 2014, Kuwait University, 2014-11-14/17
(slides)
- Univalent FOLDS
Homotopy Type Theory Workshop, University of Oxford, 2014-11-07/10 (about jww Paige North and Michael Shulman)
M-Types in Homotopy Type Theory
- TLCA 2015, Warsaw, Poland, 2015-07-01
- TYPES 2015, Tallinn, Estonia, 2015-05-21
(slides)
Terminal semantics for codata types in intensional Martin-Löf type theory
- TYPES 2014 , IHP, Paris, 2014-05-12/15, talk given by R. Spadotti
(abstract , slides)
- CMCS 2014, part of ETAPS 2014, Grenoble, 2014-04-05/06
(slides)
- Journées GeoCal 2014, Bordeaux, France, 2014-03-24/25
(slides)
Univalent categories and the Rezk completion
- Invited talk at IHP workshop on Formalization of mathematics in proof assistants,
IHP trimester on Semantics of proofs and certified mathematics, Paris, France, 2014-05-06
(slides)
- Séminaire Logique et Interactions, Aix Marseille Université, France, 2014-03-18
(slides)
- Journées LAC 2013, LACL, Créteil, France, 2013-11-28/29
(slides)
- Séminaire IRIT, 2013-11-21 and 2013-12-12
- FP lunch, Functional Programming Laboratory, University of Nottingham, 2013-09-06
- Potsdam University, Cartesian seminar, 2013-06-27
(slides)
- Workshop TYPES 2013, Toulouse, France, 2013-04-23/26
(abstract, slides, preprint)
Initiality for Typed Syntax and Semantics
- Short Presentation at the Institute for Advanced Study, Princeton, 2012-09-25
(slides)
- Conference WoLLIC 2012, 2012-09-06
(slides)
- PhD defense, 2012-05-23
(slides)
- Seminar PPS, GdT Sémantique, Université Paris 7 Diderot, 2011-12-13
(slides)
- Workshop TYPES 2011, 2011-09-11
(slides)
This site is compiled with
nanoc.
Built from code written by Cyril Cohen.
