Theorietag Automaten und Formale Sprachen 2026

Sarah Winter ist Informatikerin und seit 2023 Associate Professor (Maîtresse de Conférences) an der Université Paris Cité sowie Mitglied des Forschungsinstituts IRIF. Ihre Forschungsschwerpunkte liegen in den Bereichen Automatentheorie, Transduktoren, formale Methoden und Spieltheorie, wobei sie sich insbesondere mit der Synthese und Verifikation formaler Systeme beschäftigt.

Georg Zetzsche ist Fakultätsmitglied am Max-Planck-Institut für Softwaresysteme (MPI-SWS) in Kaiserslautern. Seine Forschung befasst sich mit den theoretischen Grundlagen der Verifikation und Synthese von Softwaresystemen, insbesondere mit Entscheidbarkeit, Komplexität und der Analyse unendlicher Systeme.

ÖPNV: Ab Bahnhof Kassel-Wilhelmshöhe mit den Tram-Linien 1 und 5 bis Haltestelle „Holländischer Platz / Universität“. Von dort sind es ca. 5 Minuten Fußweg über den Campus.

PKW: Die Anfahrt erfolgt über die Holländische Straße oder Gottschalkstraße. Kostenpflichtige Parkplätze stehen im nahen Umfeld zur Verfügung. Wir empfehlen die Anreise mit öffentlichen Verkehrsmitteln.