35. Theorietag „Automaten und Formale Sprachen“

30. September – 2. Oktober 2025, Schotten im Vogelsbergkreis

Tagung

Der 35. Theorietag der GI-Fachgruppe „Automaten und Formale Sprachen“ findet vom 30. September bis 2. Oktober 2025 in Schotten im Vogelsbergkreis statt. Auf dieser Tagung wird wieder die Fachgruppenleitung gewählt.

Tagungsort

Der Tagungsort ist das „Haus Sonnenberg“. Das Hotel liegt sehr ruhig an einem nach Süden gelegenen Berghang mit schöner Aussicht auf Schotten und die umgebende Vulkanregion. Ins Zetrum der Stadt mit seinen liebevoll sanierten Fachwerkhäusern, kleinen Gässchen und dem Vulkaneum sind es nur 15 Minuten Fußweg. Das Hotel bietet Parkplätze, einen Spa-Bereich mit Hallenbad, Sauna und Fitnessraum sowie auf seinem gesamten Areal WLAN zur kostenlosen Nutzung. Das Hotel auch eine eigene Ladestation mit zwei Anschlüssen für Elektro-Autos. In der Nähe von Schotten befinden sich der Niddastausee und der Erlebnisberg Hoherodskopf sowie abwechslungsreiche Wander- und Radwege, was dazu einlädt, ein paar Tage länger zu bleiben.

Termine

Anmeldung:bis 15. August 2025
Kurzfassungen der Beiträge:bis 15. August 2025
Anreise:29. September 2025
Theorietag:30. September bis 2. Oktober 2025

Tagungsband

Wie in den vergangenen Jahren sollen zum Theorietag allen Teilnehmerinnen und Teilnehmern Zusammenfassungen der Vorträge (max. 4 Seiten) vorliegen. Die Vortragenden werden deshalb gebeten, ihre Zusammenfassungen in LATEX im Theorietag-Stil zu erstellen und bis zum 15. August 2025 als LATEX-Datei an die Organisatorin zu senden. Hinweise zum Stil sind in einer Beispieldatei gegeben.

Anmeldung

Der verbindliche Anmeldeschluss ist am 15. August 2025. Verspätete Anmeldungen werden versucht, zu den gleichen Bedingungen anzunehmen. Erfolg wird aber nicht garantiert. Die Tagungsgebühr (inkl. Übernachtung und Vollverpflegung) beträgt 449 Euro.

Organisation

Dr. Bianca TruthePost-Adresse:Justus-Liebig-Universität Gießen
Institut für Informatik
Arndtstr. 2
35392 Gießen
e-Mail-Adresse:

Eingeladene

Uwe Meyer
THM Gießen		 Uwe Meyer hat Mathematik und Informatik an der Universität Bonn studiert und mit dem Diplom in Informatik abgeschlossen. Promoviert wurde er im Jahr 1992 an der Justus-Liebig-Universität mit einer Arbeit über „Partielle Auswertung imperativer Programmiersprachen“. Von 1994 bis 2018 arbeitete er im Finanzsektor unter anderem als Enterprise Architect und zuletzt als Chief Data Architect. Seit 2018 ist er Professor für Informatik an der Technischen Hochschule Mittelhessen, wo er die Fachgebiete „Verteilte Systeme“ und „Programmiersprachen“ vertritt und seit 2021 die Fachgruppe Informatik leitet. Seine Forschungsaktivitäten konzentrieren sich auf „Reversible Programmiersprachen“ und dort insbesondere auf die Transformation von Techniken für „konventionelle“ Sprachen auf reversible Sprachen.
František Mráz
Karls-Universität Prag		 František Mráz erhielt im Jahre 1986 ein Diplom und den Titel Rerum Naturalium Doctor im Fach Theoretische Kybernetik. Seine Promotion erfolgte im Jahr 2001 an der Mathematisch-Physikalischen Fakultät der Karls-Universität in Prag mit einer Dissertation zum Thema „Forgetting and Restarting Automata“. Seit 1998 ist er Lektor an der Karls-Universität. Seine Forschungsinteressen liegen in den Gebieten Automatentheorie und formale Sprachen, paralleles Rechnen, evolutionäre Algorithmen, bioinformatische Algorithmen und maschinelles Lernen. Er war an zahlreichen Projekten beteiligt und verbrachte einige Male mehrmonatige Forschungsaufenthalte im Ausland, vor allem in Deutschland.
Luca Prigioniero
Universität Loughborough		 Luca Prigioniero ist seit 2023 Lecturer an der Universität Loughborough (UK). Er wurde im Jahre 2020 in Informatik an der Università degli Studi di Milano promoviert, wo er auch seinen Bachelor- und Masterabschluss erlangt hat. Im Jahre 2019 war er mit einem Forschungsstipendium an der Universität Gießen. Seine Forschungsinteressen beinhalten Formale Sprachen, Automatentheorie und Theoretische Informatik allgemein. Insbesondere untersucht er Berechnungsmodelle und Beschreibungen für reguläre Sprachen. Außerdem beschäftigt er sich mit reversiblen formalen Modellen und ihrer Berechnungen aus Sicht der Beschreibungskomplexität.
Inge Schwank
Universiät zu Köln		 Inge Schwank folgte 2014 dem Ruf auf eine Professur für Mathematik und ihre Didaktik an die Universität zu Köln. Ihre akademische Laufbahn begann sie mit dem Studium des gymnasialen Lehramts mit den Fächern Mathematik, Physik und Informatik. Ihre Begeisterung für Mathematische Logik und Grundlagenforschung, speziell die theoretischen Grundlagen der Informatik, führte sie zur Promotion in Automatentheorie und später zur Habilitation im Bereich des algorithmischen Denkens. Sowohl in ihrer Lehre als auch in ihren Forschungs- und Entwicklungsprojekten setzt sie sich intensiv für die Verknüpfung mathematischer und informatischer Inhalte ein. Charakteristisch für ihre Arbeit ist das konsequente Bemühen um die forschungsbasierte wie unterrichtspraktische Integration Dynamischer Labyrinthe.
Stefan Siemer
Universität Göttingen		 Stefan Siemer ist Dozent am Institut für Informatik der Universität Göttingen, wo er 2024 in Informatik promoviert wurde. Seine Forschung liegt an der Schnittstelle von Algorithmik, theoretischer Informatik und formalen Methoden, mit besonderem Schwerpunkt auf Algorithmen für Zeichenketten, Enumerationsalgorithmen, fein-granularer Komplexität sowie dem Pattern Matching mit Variablen unter Berücksichtigung zusätzlicher Nebenbedingungen. Darüber hinaus ist er an der Entwicklung von SMT-Solvern (Satisfiability Modulo Theories) beteiligt, insbesondere im Bereich der String-Solver.

FG-Sitzung

Zum Inhalt der Fachgruppensitzung am 1. Oktober 2025:
Folien, Protokoll, Gremiumswahl, Sprecherwahl

Vorherige Theorietage

Wissenswertes über die bisherigen Theorietage steht auf der Homepage der Fachgruppe.

Nächster Theorietag

Der nächste Theorietag wird von der Arbeitsgruppe „Theoretische Informatik / Komplexe Systeme“ an der Universität Kassel organisiert und wird vom 21. bis 23. September 2026 stattfinden.