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: TBA Supervisor: Malvin Gattinger and Ronald de Haan