Die Fachgruppe AFS (früher Fachgruppe 0.1.5) der Gesellschaft für Informatik veranstaltet seit 1991 einmal im Jahr ein Treffen der Fachgruppe im Rahmen eines Theorietags, der traditionell eineinhalb Tage dauert. Seit dem Jahr 1996 wird dem eigentlichen Theorietag noch ein eintägiger Workshop zu speziellen Themen der theoretischen Informatik vorangestellt. In diesem Jahr wurde der Theorietag vom Fachgebiet "Theoretische Informatik" des Fachbereichs Elektrotechnik/Informatik der Universität Kassel organisiert. Er fand vom 29.9. bis 1.10.2010 in Baunatal bei Kassel statt. Dabei stand der begleitende Workshop unter dem allgemeinen Thema "Ausgewählte Themen der Theoretischen Informatik". Als Vortragende für diesen Workshop konnten Carsten Damm (Göttingen), Markus Holzer (Giessen), Peter Leupold (Kassel), Martin Plátek (Prag) und Heribert Vollmer (Hannover) gewonnen werden. Das Programm des eigentlichen Theorietags bestand aus 20 Vorträgen sowie der Sitzung der Fachgruppe AFS. In diesem Band finden sich die Zusammenfassungen aller Vorträge sowohl des Workshops als auch des Theorietags. Desweiteren enthält er das Programm und die Liste aller Teilnehmer.
@techreport{urn:nbn:de:hebis:34-2010110534894,
author ={Damm, Carsten and Holzer, Markus and Kutrib, Martin and Leupold, Peter and Plátek, Martin and Lopatková, Markéta and Vollmer, Heribert and Alhazov, Artiom and Freund, Rudolf and Morita, Kenichi and Bensch, Suna and Björklund, Henrik and Drewes, Frank and Bordihn, Henning and Malcher, Andreas and Bremer, Joachim and Freydenberger, Dominik D. and Doll, Jens and Droste, Manfred and Meinecke, Ingmar and Kogler, Marian and Rogozhin, Yurii and Verlan, Sergey and Gelderie, Marcus and Gulan, Stefan and McKenzie, Pierre and Jakobi, Sebastian and Hundeshagen, Norbert and Otto, Friedrich and Vollweiler, Marcel and Kasprzik, Anna and Lange, Martin and Manea, Florin and Reidenbach, Daniel and Schmid, Markus L. and Stüber, Torsten and Truthe, Bianca},
title ={20. Theorietag der GI-Fachgruppe "Automaten und Formale Sprachen"},
copyright ={https://rightsstatements.org/page/InC/1.0/},
language ={de},
year ={2010-11-05T08:52:37Z}
}