- 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
- Organization of the weekly seminar of PhD students of LJAD, which is now handled by the Association des Doctorants en Sciences Fondamentales et Appliquées
This site is compiled with
nanoc.
Built from code written by Cyril Cohen.
