Publications

1. Semi-simplicial Set Models for Distributed Knowledge
   w/ Eric Goubault, Jérémy Ledent and Sergio Rajsbaum
   arxiv link
   accepted to LICS'23

Talks

1. Hypergraphs for knowledge
   Dagstuhl seminar 23272 (05/07/2023)
   slides

2. Chromatic semi-simplicial set model for group knowledge
   Journées LHC 2022 (13/10/2022)
   slides

3. (Epistemic) modal logic from the topos point of view
   Category theory seminar at LIPN, Paris Nord (17/06/2022)
   slides