• Veritas Graduate Conference 2026
• School on Univalent Mathematics 2024
• POPL 2024
• NJPLS December 2024
• HotOS XX