Arbeitsgruppe Zuverlässige Systeme

Theorietag (2016)

10.04.2018

Vom 4. bis 7. Oktober 2016 organisierten wir die gemeinsame Tagung des 26. Theorietags „Automaten und Formale Sprachen“ und der 23. Jahrestagung „Logik in der Informatik“ in Tannenfelde (Schleswig-Holstein).