PhD defence Helle Hvid Hansen
Event date:
Thu, 14/05/2009 - 14:45 - 15:45 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
