Theorietage

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 25. bis 27. September 2019 in Bremen statt und wird von Sebastian Maneth (Universität Bremen) ausgerichtet. Der 30. Theorietag findet im Jahre 2020 in Wien bei Rudolf Freund statt.

Die bisherigen Theorietage fanden außer in Deutschland auch in Österreich und der Tschechischen Republik statt.

• Bremen 2018
• Lutherstadt Wittenberg 2018
• Bonn 2017
• Aukrug bei Kiel 2016
• Speyer 2015
• Caputh 2014
• Ilmenau 2013
• Prag 2012
• Allrode 2011
• Baunatal 2010
• Wittenberg 2009
• Wettenberg-Launsbach 2008
• Leipzig 2007
• Wien 2006
• Lauterbad 2005
• Caputh 2004
• Herrsching 2003
• Wittenberg 2002
• Wendgräben 2001
• Wien 2000
• Schauenburg-Elmshagen 1999
• Riveris 1998
• Barnstorf 1997
• Cunnersdorf 1996
• Schloß Rauischholzhausen 1995
• Herrsching 1994
• Schloß Dagstuhl 1993
• Kiel 1992
• Magdeburg 1991