From September to November 2008 I am going to visit the ILLC in Amsterdam to work with Yde Venema on coalgebra automata.