Please note that this newsitem has been archived, and may contain outdated information or links.
19 March 2026, MoL, Paul Fink
Candidate: Paul Fink
Title: The Complexity of Symbolic Model Checking for Topological Evidence Models
Date: Thursday 19 March 2026
Time: 14:00
Location: ILLC seminar room F1.15
Supervisor: Malvin Gattinger and Ronald de Haan
Please note that this newsitem has been archived, and may contain outdated information or links.