- Slides of a talk about type theory and geometry (HoTT conference, 2023)

- Slides of a talk on well-pointed ∞-endofunctors (jww Simon Henry, MURI meeting, 2021)

- Slides of a talk on an example of elementary ∞-topos (CMU-HoTT seminar, 2021)

- Slides of some talks on enveloping ∞-topoi (MURI meeting 2020, EPFL 2021, CRM 2021)

- Slides of my lectures HoTT 2019 Summer School (Lecture I) (August 2019)

- Slides of my HoTTEST seminar Univalence & Descent (May 2019)

- Slides of a talk on What is a space? (April 2019, 6th workshop on formal topology)

- Two books I have edited with Gabriel Catren on New Spaces in Mathematics and
New Spaces in Physics (Cambridge University Press, 2021)

Two chapters for the book:

- Introduction to the geometric aspects of topos theory: Topo-logie (2019, written with André Joyal)

- An introduction to Derived Geometry: The geometry of ambiguity (2016)

- Slides about the sequel of my joint work with Georg Biederman, Eric Finster and André Joyal on left-exact localizations of ∞-topoi and Goodwillie calculus (2018, talk at YaMCATS & PSSL 103)

- Slides from three lectures on topoi in Nice (2018, in french)

- The slides from a talk about Why higher categories are useful (2017, in french)

- More slides of our work with André Joyal on bar-cobar constructions (2014)

- Slides of André Joyal's talk at the AMS meeting (2012 Boston) on our work on bar-cobar constructions

- A note about why deformations are cohomological (2010)

- Introductory notes to derived categories (2010, in french)