- Editor Logical Methods in Computer Science, 2024-present
- PC Applied Category Theory 2025
- Organization of the School on Univalent Mathematics 2024
- Organization of the School on Univalent Mathematics 2022
- Editorial work for a Special Issue on Homotopy Type Theory and Univalent Foundations, in Mathematical Structures in Computer Science
Preface to Part I: DOI:10.1017/S0960129521000244
- Organization of the Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF) 2021 , part of FSCD 2021, with C. Kapulkin
- Organization of the Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF) 2020 , part of FSCD 2020, with C. Kapulkin
- Organization of the School and Workshop on Univalent Mathematics 2019
- Organization of the Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF) 2018 , part of FLoC 2018, with S. Huber and A. Mörtberg
- Organization of the School and Workshop on Univalent Mathematics 2017
- Organization of the Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF) 2017 , colocated with FSCD 2017, with S. Huber and A. Mörtberg
- Organization of the Workshop on Foundations for the Practical Formalization of Mathematics, Nantes, France, 26 to 27 April 2017
- Organization of the Mini-Symposium Homotopy Type Theory and Univalent Foundations in the framework of DMV 2015 , with B. Spitters
- Member of board of the Association des Jeunes Chercheurs des Alpes-Maritimes 2011/12
- Coorganization of the Journées GEOCAL-LAC 2010
- Coorganization of the Colloque Doctorants LJAD 2009
This site is compiled with
nanoc.
Built from code written by Cyril Cohen.