Please note that this newsitem has been archived, and may contain outdated information or links.
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
Please note that this newsitem has been archived, and may contain outdated information or links.