(New) 23 October 2026, Master of Logic defense, Milan Hartwig

Candidate: Milan Hartwig

Title: Games and Automata for Fixpoint Logics over Complete Lattices

Date: Friday 23 October 2026

Time: 09:00

Location: ILLC Seminar room F1.15, Science Park 107, Amsterdam

Supervisor: Yde Venema