17 September 2026, Master of Logic defense, Tristan Hewitt

Candidate: Tristan Hewitt

Title: Focus-style proof systems and interpolation for the alternation-free coalgebraic μ-calculus

Date: Thursday 17 September 2026

Time: 12:00

Location: F1.15, Science Park 107, Amsterdam

Supervisor: Yde Venema