Tagungen
- Geburtstagskolloquium MoTAGWA für Manfred Droste (Leipzig) in Dresden 2016
- Geburtstagskolloquium für Martin Dietzfelbinger in Ilmenau 2016
- Theorietag "Automaten und Formale Sprachen" und Workshop "Automaten und Logik" der GI 2013
- jährliches Treffen "Algorithmische Modelltheorie" (AlMoTh) 2012
- Jahrestreffen "Logik in der Informatik" der GI 2011