Die Theorietage der Fachgruppe Automaten und Formale Sprachen (AFS)
Einmal jährlich findet eine Fachgruppenkonferenz, der sogenannte Theorietag "Automaten und Formale Sprachen", statt. Inzwischen sind diese Jahrestagungen zu dreitägigen Veranstaltungen angewachsen. Am ersten Tag halten eingeladene Wissenschaftler Vorträge auf einem Workshop. Am zweiten und dritten Tag werden Forschungsergebnisse der Teilnehmer vorgestellt und diskutiert. Insbesondere Nachwuchswissenschaftler erhalten darüber die Möglichkeit, sich mit anderen Forschern auszutauschen. Während der Jahrestagung findet auch eine Fachgruppensitzung statt.
Die Protokolle der Sitzungen sind hier zu finden.
Der nächste Theorietag findet vom 21. bis 22. September 2026 in Kassel statt und wird von Stefan Göller und Christian Rauch (Arbeitsgruppe „Theoretische Informatik / Komplexe Systeme“ an der Universität Kassel) organisiert.
Die bisherigen Theorietage fanden außer in Deutschland auch in Österreich und der Tschechischen Republik statt.
| Jahr | Veranstaltungsort | Tagunsband |
|---|---|---|
| 2025 | Schotten |  |
| 2024 | Göttingen | |
| 2023 | Kaiserslautern | |
| 2022 | Caputh bei Potsdam | |
| 2021 | Leipzig | |
| 2020 | Wien | |
| 2019 | Bremen | |
| 2018 | Lutherstadt Wittenberg | |
| 2017 | Bonn | |
| 2016 | Aukrug bei Kiel | |
| 2015 | Speyer | |
| 2014 | Caputh | |
| 2013 | Ilmenau | |
| 2012 | Prag | |
| 2011 | Allrode | |
| 2010 | Baunatal | |
| 2009 | Lutherstadt Wittenberg | |
| 2008 | Wettenberg-Launsbach | |
| 2007 | Leipzig | |
| 2006 | Wien | |
| 2005 | Lauterbad | |
| 2004 | Caputh | |
| 2003 | Herrsching | |
| 2002 | Lutherstadt Wittenberg | |
| 2001 | Wendgräben | |
| 2000 | Wien | |
| 1999 | Schauenburg-Elmshagen | |
| 1998 | Riveris | |
| 1997 | Barnstorf | |
| 1996 | Cunnersdorf | |
| 1995 | Schloß Rauischholzhausen | |
| 1994 | Herrsching | |
| 1993 | Schloß Dagstuhl | |
| 1992 | Kiel | |
| 1991 | Magdeburg | |