Der 20. Theorietag der Fachgruppe
"Automaten und Formale Sprachen"
der Gesellschaft für Informatik findet vom 29. September - 1. Oktober 2010 in Baunatal bei Kassel statt.
Fotos vom Theorietag 2010. (Vielen Dank an Bianca Truthe.)