• On long-term research vision, Peter Sewell, January 2026. Talk at RTFM 2026 faculty mentoring workshop (Read the Faculty Manual) with POPL 2026, Rennes, 2026-01-13. [ bib | pdf ]
• Production language specification: requirements for multiple usages, Peter Sewell, June 2025. Talk at RPLS 2025 (Real-World Programming Language Specification), with PLDI 2025, Seoul/remote, 2025-06. [ bib | pdf ]
• Open problems from system software verification , Peter Sewell, June 2024. Talk at Iris workshop, Zurich, 2024-06-03. [ bib | pdf ]