The cornerstones for my dissertation are now set. The working title is Logics for Coalgebras with Branching. My supervisor is Dr Alexander Kurz, my thesis adviser is Prof Dr Reiko Heckel. The thesis is to be submitted by 30 June 2011.