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

Im zweiten Rundbrief des Jahres 2017 gibt es unter der Rubrik "Personalia" Neuigkeiten zu einem Mitglied der Fachgruppe: Sebastian Maneth ist seit 1. Mai an der Universität Bremen als Informatik-Professor tätig. Außerdem geben wir neue Informationen zum diesjährigen Theorietag, blicken auf die DCFS zurück und die STACS voraus und berichten über ein Forschungsprojekt.

Wir wünschen viel Freude beim Lesen!