PhD thesis: Coalgebraic Modelling: Applications in Automata Theory and Modal Logic
Supervisor: prof. dr. J.J.M.M. Rutten (CWI and VU)
Co-supervisors: dr. Y.Venema (UvA), and dr. C.A. Kupke (Imperial College London)
Location: Aula, Vrije Universiteit Amsterdam, De Boelelaan 1105, Amsterdam
Start: 13.45 h
