| ab 9.00 |
Begrüßungskaffee |
| 9.45 |
Nima Barraci (Uni Darmstadt):
Persistente Arrays zur Speicherung sich wiederholender Strings |
| 10.30 |
Tobias Mann (Uni Darmstadt):
Immune Sprachfamilien |
| 11.15 |
Julia Stoll (Uni Darmstadt):
Lang's Algorithm Revised |
| 12.00 |
Mittagspause |
| 13.45 |
German Tischler (Uni Würzburg):
Zeichnen mit parametrisch gewichteten endlichen Automaten |
| 14.30 |
Kaffeepause |
| 15.00 |
Volker Weber (Uni Marburg):
FO-Updates für ein LOGCFL-vollständiges Erreichbarkeitsproblem |
| 15.45 |
Hartmut Messerschmidt (Uni Kassel):
ACFGs - Alternierung bei Grammatiken |
| ab 16.30 |
Abreise |