Thing(s) I have organised
- [09-12.2025] (with Thomas Thorbjørnsen) Reading seminar on topos theory
[website].
Things I have presented
- [06.2026] Fixed point properties in homotopy type theory. Session on homotopy theory, 2026 CMS summer meeting [slides].
- [07.2024] Formalising simplicial type theory. Poster presentation at PLS 14 [pdf].
Some things I have attended