GI

Workshop „Automaten und Logik“ und Theorietag „Automaten und Formale Sprachen“

25.-27. September 2013, Ilmenau



Das jährliche Treffen der GI-Fachgruppe „Automaten und Formale Sprachen” fand 2013 in Ilmenau statt. Wie es die Tradition seit 1996 gebietet, bestand es aus einem Workshop am 25.9. und dem Theorietag am 26. und 27.9. Der Workshop stand 2013 unter dem Thema „Automaten und Logik”; auf dem Theorietag wurden Vorträge gehalten, die in den Augen des Vortragenden von Interesse für die an Automaten und formalen Sprachen Arbeitenden sind, sein könnten, oder sein sollten.

Das Programm des Treffens incl. der Vortragszusammenfassungen finden Sie hier.

Von Bianca Truthe gemachte und zur Verfügung gestellte Fotos finden Sie auf der dropbox von Rudi Freund.

Kontakt
Dietrich Kuske
Institut für Theoretische Informatik
Technische Universität Ilmenau
Postfach 100585
D-98684 Ilmenau
Telefon: +49-3677-69-1444