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 erste Rundbrief im Jahr 2024. Wir gratulieren Bianca Truthe zur Wahl in den EATCS-Beirat,
berichten von einigen Konferenzen (AFL, NCMA, CIAA) im letzten Jahr, der SOFSEM in diesem Jahr und geben einen Ausblick auf Tagungen in diesem Jahr (DLT, NCMA, DCFS und MCU).
Außerdem listen wir wieder bevorstehende Tagungen mit nahem Einsendeschluss auf.

Wir wünschen viel Freude beim Lesen!