Der Plan fuer meine Doktorarbeit steht nun fest. Der Arbeitstitel lautet Logics for Coalgebras with Branching. Mein erster Betreuer ist Dr Alexander Kurz und mein zweiter Prof Dr Reiko Heckel. Voraussichtlich werde ich die Arbeit am 30 Juni 2011 abgeben.