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.

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.