- Slides of a lecture on enveloping infinity-topoi (MURI meeting, March 2020)

- 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)

- Table of contents of a book I'm editing with Gabriel Catren on New Spaces in Mathematics and Physics -- Formal and Conceptual Reflections (to be edited this year by Cambridge University Press)

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 topos 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

- 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)