HotOS XX NJPLS December 2024 OPLSS 2025 POPL 2024 School on Univalent Mathematics 2024 Veritas Graduate Conference 2026 Note: To override the auto-generated content here, create a file named one of: topics.md, topics.org