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

Hier ist der zweite Rundbrief im Jahr 2025. Wir berichten über den Theorietag im Herbst. Es standen wieder Fachgruppenleitungswahlen an. Wir stellen die Mitglieder des neu gewählten Gremiums kurz vor. Für die nächste Ehrung mit dem Salomaa-Preis dürfen verdiente Wissenschaftler nominiert werden. Außerdem enthält der Rundbrief erfreulicherweise mehrere weitere Konferenzberichte, und zwar je einen Bericht von der IJTCS-FAW, der DCFS, der UCNC, der CANT und der RP (in zeitlicher Abfolge). Außerdem listen wir wieder bevorstehende Tagungen mit nahem Einsendeschluss und Relevanz für Formalsprachler auf.

Wir wünschen viel Freude beim Lesen!