Am 18. Oktober werde ich als Software-Entwickler zu Microsoft wechseln. In deren Search-Technology-Center in London Soho werde ich an Algorithmen fuer das Sortieren von Sucheintraegen arbeiten. Damit muss ich meine Lehrtaetigkeit in Leicester aufgeben; auf meine Promotion sollte sich diese Aenderung aber nicht auswirken.

In diesem Jahr wird die BCTCS-Konferenz an der Universitaet von Edinburgh veranstaltet. Ich werde einen Vortrag zur Semantik Set-basierter Koalgebren mit Verzweigungen beitragen.

Der Koalgebratag ist ein jaehrliches informelles Treffen zwischen verschiedenen akademischen Institutionen in den Niederlanden. Das Treffen in diesem Jahr findet in Amsterdam statt und wird organisiert von Yde Venema, Vincenzo Ciancia, und Raul Leal.

Zu diesem Treffen stelle ich meine neuere Arbeit zu unendlichen Traces in Koalgebren vor. In dieser Arbeit setze ich das gemeinsame Projekt zu koalgebraischen Trace Logiken mit Alexander Kurz fort, und erweitere eine fruehere Publikation von Bart Jacobs zur unendlichen Trace Semantik nicht-deterministischer Koalgebren.

Fuer den 27. Feburary wurde ich in die TQFT study group an der Universitaet von Warschau eingeladen, um einen Vortrag ueber Quantenfeldtheorien zu halten. Darin werde ich eine Konstruction einer 3-dimensionalen topologischen Quantenfeldtheorie fuer 3-dimensionale Mannigfaltigkeiten mit eingebetteten Knoten  nach Turaev vorstellen.