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 im Herbst 2024 in Göttingen statt und wird von Florin Manea organisiert.
Die bisherigen Theorietage fanden außer in Deutschland auch in Österreich und der Tschechischen Republik statt.
| Jahr | Veranstaltungsort | Tagunsband |
|---|---|---|
| 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 | |