Dependable Systems Group

Theorietag (2016)

Apr 10, 2018

From October 4 through 7, 2016 we organised the joint conference of the 26th Theorietag „Automaten und Formale Sprachen“ and the 23rd Jahrestagung „Logik in der Informatik“ in Tannenfelde (Schleswig-Holstein).