Zum Hauptinhalt springen

    Willkommen bei der Fachgruppe Automaten und Formale Sprachen (AFS)

 

Nächste Veranstaltungen

Keine Veranstaltungen geplant.

Vergangene Veranstaltungen

Meldungen

Keine Nachrichten verfügbar.

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 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 und die NCMA.

Professur für AutomatentheorieTechnische Universität DresdenFranz Baader
Professur für Algebraische und logische Grundlagen der InformatikTechnische Universität DresdenChristel Baier
Institut für InformatikUniversität PotsdamHenning Bordihn
Institut für Formale Methoden der Informatik, Theoretische InformatikUniversität StuttgartVolker Diekert
Lehrstuhl für Theoretische InformatikTechnische Universität MünchenJavier Esparza
Lehrstuhl für Theoretische InformatikUniversität TrierHenning Fernau
Fachgebiet Theoretische Informatik/Komplexe SystemeUniversität KasselStefan Göller
Lehrstuhl für Logik und Theorie diskreter SystemeRWTH AachenMartin Grohe
Professur für Formale MethodenJustus-Liebig-Universität GießenMarkus Holzer
Fachgebiet Logik und SemantikTechnische Universität BerlinStephan Kreutzer
Fachgebiet Automaten und LogikTechnische Universität IlmenauDietrich Kuske
Institut für InformatikJustus-Liebig-Universität GießenMartin Kutrib
Fachgebiet Theoretische Informatik/Formale MethodenUniversität KasselMartin Lange
Arbeitsgruppe Automated ReasoningTechnische Universität KaiserslauternAnthony Widjaja Lin
Lehrstuhl für Theoretische InformatikUniversität SiegenMarkus Lohrey
Professur für Algebraische und logische GrundlagenUniversität LeipzigAndreas Maletti
Professur für Grundlagen der InformatikGeorg August Universität GöttingenFlorin Manea
Arbeitsgruppe DatenbankenUniversität BremenSebastian Maneth
Institut für Theoretische InformatikTechnische Universität BraunschweigRoland Meyer
Professur für Verifikation und formale Garantien des maschinellen LernensTechnische Universität DortmundDaniel Neider
Arbeitsgruppe Zuverlässige SystemeChristian-Albrechts-Universität zu KielDirk Nowotka
Arbeitsgruppe Foundations of Algorithmic Verification and Theoretical Computer ScienceMax-Planck-Institut für Software-SystemeJoël Ouaknine
Arbeitsgruppe Theoretische InformatikMartin-Luther-Universität HalleKlaus Reinhardt
Lehrstuhl für Logik in der InformatikTechnische Universität DortmundThomas Schwentick
Lehrstuhl für Sprachen und Beschreibungsstrukturen in der InformatikTechnische Universität MünchenHelmut Seidl
Professur für Grundlagen der ProgrammierungTechnische Universität DresdenHeiko Vogler
Arbeitsgruppe Theoretische InformatikChristian-Albrechts-Universität zu KielThomas Wilke
Arbeitsgruppe Models of ComputationMax-Planck-Institut für Software-SystemeGeorg Zetzsche