Theorietag is an annual meeting of the special interest group Automata and Formal Languages of German Informatics Society (die Fachgruppe Automaten und Formale Sprachen der Gesellschaft für Informatik).The 22nd Theorietag was organized by a group from the Faculty of Mathematics and Physics, Charles University in Prague.