Scientific Organisations
- President of European Association for Computer Science Logic (EACSL)
- Chair of the TheoretiCS Foundation
- Member of the Academia Europaea
- Sprecher des GI-Fachausschusses Theoretische Informatik
Previous memberships
- Member of the Council of the European Association for Theoretical Computer Science (EATCS) (2015-2019)
- Member of the Editorial Board of LIPIcs - Leibniz International Proceedings in Informatics (2017-2021)
- Member of the Council of the International Conference on Database Theory (ICDT) (2005-2018, Chair: 2011-2016)
- Mitglied der Leitung der GI-Fachgruppe Komplexität (2013?-2020)
- Mitglied der Leitung der GI-Fachgruppe Logik in der Informatik (2009-2016?)
- Member of the Steering committee of Highlights of Logic, Games and Automata (2018-2019)
- databasetheory.org
Editor
- Logical Methods in Computer Science (2007 - 2019)
- Theory of Computing Systems (2019 - 2020)
- Fundamenta Informaticae (2006 - )
Program Committees
- ICDT 2022: 25th International Conference on Database Theory
- PODS 2022: 42nd ACM Symposium on Principles of Database Systems
- PODS 2021: 41st ACM Symposium on Principles of Database Systems
- ICDT 2020: 23rd International Conference on Database Theory
- CiE 2020: Conference on Computability in Europe
- RP 2018: 12th International Conference on Reachability Problems12th International Conference on Reachability Problems
- ICALP 2018: 45th International Colloquium on Automata, Languages, and Programming45th International Colloquium on Automata, Languages, and Programming
- FoIKS 2018: International Symposium on Foundations of Information and Knowledge Systems
- CSL 2017: Computer Science Logic
- PODS 2017: 37th ACM Symposium on Principles of Database Systems
- Highlights 2016: Highlights of Logic, Games, and Automata (chair)
- CSR 2016: The 11th International Computer Science Symposium in Russia
- MFCS 2014: 39th International Symposium on Mathematical Foundations of Computer Science
- ICALP 2014: 41st International Colloquium on Automata, Languages, and Programming
- FoSSaCS 2014: Foundations of Software Science and Computation Structure
- CiE 2014: Conference on Computability in Europe
- Highlights 2013: Highlights of Logic, Games and Automata
- PODS 2013: 33rd ACM Symposium on Principles of Database Systems
- LCC 2012: Thirteenth International Workshop on Logic and Computational Complexity
- CIKM 2011: 20th ACM Conference on Information and Knowledge Management (CIKM)
- LCC 2011: Twelfth International Workshop on Logic and Computational Complexity
- PODS 2011: 31st ACM Symposium on Principles of Database Systems (chair)
- STACS 2011: 28th International Symposium on Theoretical Aspects of Computer Science (co-chair)
- IFIP-TCS 2010: 6th IFIP International Conference on Theoretical Computer
Science - STACS 2010: 27th International Symposium on Theoretical Aspects of Computer Science (co-chair)
- CSL 2009: 18th EACSL Annual Conference on Computer Science Logic
- CIAA 2009: 14th International Conference on Implementation and Application of Automata
- AMW 2009: Alberto Mendelzon Workshop on Foundations of Data Management
- LATA 2009: 3rd International Conference on Language and Automata Theory and Applications
- FSTTCS 2008: Foundations of Software Technology and Theoretical Computer Science
- CSL 2008: 17th EACSL Annual Conference on Computer Science Logic
- PODS 2008: 27th ACM Symposium on Principles of Database Systems
- TCS 2008: 5th International Conference on Theoretical Computer Science
- LID 2008: Workshop Logic in Databases
- ICDT 2007: 11th International Conference on Database Theory
- ICALP 2007: 34th International Colloguium on Automata, Languages and Programming
- LCC 2006: 8th International Workshop on Logic and Computational Complexity
- CSL 2005: Computer Science Logic
- LICS 2005: Logic in Computer Science
- ICDT 2005: International Conference on Database Theory
- BTW 2005: Datenbanksysteme für Business, Technologie und Web
- TCS 2004: 3rd IFIP International Conference on Theoretical Computer Science
- FoIKS 2004: International Symposium on Foundations of Information and Knowledge Systems
- DBPL 2003: The 9th International Conference on Data Base Programming Languages
- VLDB 2003: PhD Workshop
- PODS 2002: 21st ACM Symposium on Principles of Database Systems
- ICDE 2002: 8th International Conference on Data Engineering
- STACS 2002: 19th International Symposium on Theoretical Aspects of Computer Science
- FoIKS 2002: International Symposium on Foundations of Information and Knowledge Systems
- KRDB 2001: 8th International Workshop on Knowledge Representation meets Databases
- ICDT 2001: The 8th International Conference on Database Theory
Organisation of Workshops and Conferences
- STACS 2011
- Workshop on Algorithmic Model Theory (AIMoTh2009) in Dortmund
- Jahrestagung 2006 der GI-Fachgruppe 'Logik in der Informatik'
- 53. Workshop über Komplexitätstheorie, Datenstrukturen und Effiziente Algorithmen
- Mini-Workshop 'Theoretical Computer Science in Dortmund'