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

Dies ist der dritte Rundbrief im Jahr 2018.
Wir berichten von der NCMA im August in Košice sowie dem Theorietag im September in Lutherstadt Wittenberg inklusive der Fachgruppenleitungswahl, stellen die aktuell gewählten Mitglieder eben dieser Fachgruppenleitung vor, haben berufliche Neuigkeiten über Georg Zetzsche, der zum 1. November an das Max-Planck-Institut für Software-Systeme in Kaiserslautern wechselt und zwei Doktoranden sucht, veröffentlichen noch ein weiteres Stellenangebot und zwar von der TU Ilmenau, geben eine Vorschau auf Konferenzen und kündigen ein DFG-Projekt und einen damit verbundenen Workshop in Trier an.

Wir wünschen viel Freude beim Lesen!