Fachgruppe "Automaten und Formale Sprachen"

Die Fachgruppe "Automaten und formale Sprachen" (AFS) ist ein Forum der Gesellschaft für Informatik für die an Automaten und formalen Sprachen interessierten Informatiker. Zu anderen Fachgruppen des Fachbereichs "Grundlagen der Informatik" bestehen enge Bindungen. Inhaltliche Schwerpunkte liegen unter anderem auf folgenden Gebieten:
  • Automaten und von ihnen akzeptierte Sprachen
  • Grammatiken und Lindenmayer-Systeme sowie von ihnen erzeugte Sprachen
  • Formale Sprachen von Wörtern, Bäumen, Graphen, Bildern
  • Zeichen- und Term-Ersetzungssysteme, Graph-Grammatiken, kooperierende Systeme von Automaten oder Grammatiken
  • Verteilte Automatenmodelle, darunter zelluläre Automaten, systolische Automaten, Netze evolutionärer Prozessoren, Petrinetze, neuronale Netze
  • Bezüge zur Komplexitäts-, Rekursions- und Schaltkreistheorie
  • Algebraische Methoden (u. a. Halbgruppen, formale Potenzreihen)
  • Automaten und Logik, Automaten und Semantik (u. a. Transitionssysteme in Semantik und Spezifikation verteilter Systeme, Programmverifikation, dynamische Logiken)
  • Kombinatorische und algorithmische Fragen (u. a. Codes, Pattern Matching)
  • Automatentheorie und Programmierung (u. a. Übersetzerbau, Programmschemata)
Zu den Zielen dieser Fachgruppe gehören:
  • die Förderung der Kommunikation durch Treffen und Mitteilungen,
  • die Bündelung von Aktivitäten durch spezifische Veranstaltungen und Koordinierung von Forschungsprojekten,
  • die Vertretung des Gebietes innerhalb und außerhalb der GI,
  • die Förderung der Lehre in diesem Gebiet.
Die Fachgruppe unterstützt Veranstaltungen und andere Aktivitäten zur Thematik der Automaten und formalen Sprachen. Sie veranstaltet in regelmäßigen Abständen, wenigstens einmal jährlich, einen Theorietag "Automaten und formale Sprachen". Sie fühlt sich mitverantwortlich für regelmäßig stattfindende einschlägige Konferenzen wie die STACS sowie für entsprechende Seminare im Internationalen Begegnungs- und Forschungszentrum Schloß Dagstuhl.

Leitung

Die Leitung der Fachgruppe obliegt fünf in das Leitungsgremium gewählten Mitgliedern der Fachgruppe. Die letzte Wahl fand am 1. Oktober 2015 während der Fachgruppensitzung auf der Jahrestagung, dem 25. Theorietag "Automaten und Formale Sprachen", in Speyer statt. Anschließend wurden von den gewählten Mitgliedern ein Sprecher und sein Stellvertreter gewählt.

Sprecher: Henning Fernau (Trier)
Stellvertretender Sprecher: Henning Bordihn (Potsdam)
Weitere Mitglieder: Dominik D. Freydenberger (Bayreuth)
Andreas Maletti (Stuttgart)
Bianca Truthe (Gießen)

Protokolle: Gremiumswahl
Wahl von Sprecher und Stellvertreter
Fachgruppensitzungen der letzten Jahre

Die bisherigen Sprecher und Stellvertreter seit Gründung der Fachgruppe auf dem 2. Theorietag "Automaten und Formale Sprachen" im Jahre 1992 sind mit den jeweiligen Amtszeiten in der folgenden Übersicht aufgeführt.

AmtszeitSprecherStellvertreter
2015 – 2018 Henning Fernau Henning Bordihn
2012 – 2015 Martin Kutrib Friedrich Otto
2009 – 2012 Martin Kutrib Friedrich Otto
2006 – 2009 Friedrich Otto Martin Kutrib
2003 – 2006 Friedrich Otto Martin Kutrib
2000 – 2003 Jürgen Dassow Martin Kutrib
1997 – 2000 Jürgen Dassow Manfred Droste
1994 – 1997 Jürgen Dassow Wolfgang Thomas
1993 – 1994 Jürgen Dassow Klaus-Jörn Lange
1992 – 1993 Wolfgang Thomas Jürgen Dassow

Nachrichten

Automaten und Formale Sprachen ist der Name unserer Fachgruppe innerhalb der Gesellschaft für Informatik. Daraus leitet sich das Akronym unserer in lockerer Folge veröffentlichten Rundschreiben ab:
Auto[maten]U[nd]Fo[rmale]S[prachen] → AutoUFoS.
Der Zeitpunkt dieses ersten Schreibens ergibt sich aus der Tatsache, dass wir unlängst unser Jahrestreffen hatten (den 25. Theorietag). In diesem Rahmen fand wie immer die Sitzung der GI-Fachgruppe "Automaten und Formale Sprachen" statt. Wir berichten darüber im ersten Rundbrief. Außerdem finden Sie dort auch
  • einen Rückblick auf den Theorietag in Speyer,
  • Kurzporträts der Mitglieder der neuen FG-Leitung,
  • eine Vorstellung unseres neuen Logos und
  • Verschiedenes in eigener Sache.
Wir wünschen viel Freude beim Lesen! 		AutoUFoS vom 21.10.2015

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.
Protokolle der Sitzungen: 2015, 2014, 2013, 2012, 2011, 2010, 2009, 2008, 2007, 2006, 2005, 2004

Der nächste Theorietag wird vom 4. bis 6. Oktober 2016 in Kiel durchgeführt.

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

  1. Speyer 2015
  2. Caputh 2014
  3. Ilmenau 2013
  4. Prag 2012
  5. Allrode 2011
  6. Baunatal 2010
  7. Wittenberg 2009
  8. Wettenberg-Launsbach 2008
  9. Leipzig 2007
  10. Wien 2006
  11. Lauterbad 2005
  12. Caputh 2004
  13. Herrsching 2003
  14. Wittenberg 2002
  15. Wendgräben 2001
  16. Wien 2000
  17. Schauenburg-Elmshagen 1999
  18. Riveris 1998
  19. Barnstorf 1997
  20. Cunnersdorf 1996
  21. Schloß Rauischholzhausen 1995
  22. Herrsching 1994
  23. Schloß Dagstuhl 1993
  24. Kiel 1992
  25. Magdeburg 1991

Konferenzen

Die Fachgruppe engagiert sich auf verschiedenen Konferenzen für einen wissenschaftlichen Austausch.

NCMA

Im Jahre 2009 wurde der themenbezogene Workshop Non-Classical Models of Automata and Applications (NCMA) von der Fachgruppenleitung initiiert und organisiert. Aufgrund des Erfolges fanden in den darauffolgenden Jahren weitere Tagungen zu diesem Thema statt. Die Bindung zwischen der NCMA und der Fachgruppe wird durch die Berücksichtigung von Fachgruppenmitgliedern im Programmkomitee betont. Insbesondere sind darunter jüngere Nachwuchswissenschaftler(innen), die damit Erfahrungen in einem solchen Komitee sammeln können.

Die nächste NCMA-Tagung wird vom 29. bis 30. August 2016 in Debrecen (Ungarn) durchgeführt.

Die bisherigen NCMA-Workshops fanden in sechs Ländern statt.

STACS

Der Fachausschuss "Theoretische Informatik", zu dem die Fachgruppe "Automaten und Formale Sprachen" gehört, bildet gemeinsam mit einem analogen französischen Ausschuss das Lenkungskomitee der Tagung STACS (Annual Symposium on Theoretical Aspects of Computer Science), einer der führenden Konferenzen der theoretischen Informatik in Europa.

Die STACS 2015 war die 32. Auflage der Tagung, die 1984 in Paris zum ersten Mal stattfand und seitdem alternierend in Frankreich und Deutschland veranstaltet wird.

Die STACS 2016 wird vom 17. bis zum 20. Februar 2016 in Orléans stattfinden Sie wird von Nicolas Ollinger (Universität Orléans) und Heribert Vollmer (Universität Hannover) organisiert.

Andere

Weitere Konferenzen sind für Mitglieder der Fachgruppe von Interesse. Es wird kein Anspruch auf Vollständigkeit erhoben.

Mitgliedschaft

Die Mitgliedschaft in der GI-Fachgruppe "Automaten und Formale Sprachen" ist nicht an eine Mitgliedschaft in der GI gebunden.

Wenn Sie der Fachgruppe beitreten wollen, ohne GI-Mitglied zu sein, melden Sie sich bitte mit dem offiziellen Formular

https://www.gi-ev.de/fileadmin/redaktion/Mitglieder-Service/Fach_Ass.pdf
bei der GI-Geschäftsstelle an.

Sie möchten der GI beitreten? Dann beantragen Sie bitte über das Online-Formular

https://www.gi.de/mitgliedschaft/anmeldeformular.html
die Mitgliedschaft.

Falls Sie als GI-Mitglied unserer Fachgruppe beitreten wollen, senden Sie bitte folgendes Formular ausgefüllt an die GI-Geschäftsstelle:

https://www.gi-ev.de/fileadmin/redaktion/Mitglieder-Service/Fach.pdf