Coalgebra is an area of theoretical computer science strongly influenced by category theory,
automata theory, and areas of logic close to these. The course will partly be an introduction to coalgebra,
using survey papers, a draft of Bart Jacobs' textbook, and some of my notes. And the course will gradually
become a seminar-style course where people read papers and present them, and where the students who are working
in the area present their own work.
My plan is to teach M385/P550 (Modal Logic) and also H305 (Exploring Good and Bad Behavior