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'
Suche & Personensuche
Anfahrt & Lageplan
Der Campus der Technischen Universität Dortmund liegt in der Nähe des Autobahnkreuzes Dortmund West, wo die Sauerlandlinie A45 den Ruhrschnellweg B1/A40 kreuzt. Die Abfahrt Dortmund-Eichlinghofen auf der A45 führt zum Campus Süd, die Abfahrt Dortmund-Dorstfeld auf der A40 zum Campus-Nord. An beiden Ausfahrten ist die Universität ausgeschildert.
Direkt auf dem Campus Nord befindet sich die S-Bahn-Station „Dortmund Universität“. Von dort fährt die S-Bahn-Linie S1 im 15- oder 30-Minuten-Takt zum Hauptbahnhof Dortmund und in der Gegenrichtung zum Hauptbahnhof Düsseldorf über Bochum, Essen und Duisburg. Außerdem ist die Universität mit den Buslinien 445, 447 und 462 zu erreichen. Eine Fahrplanauskunft findet sich auf der Homepage des Verkehrsverbundes Rhein-Ruhr, außerdem bieten die DSW21 einen interaktiven Liniennetzplan an.
Zu den Wahrzeichen der TU Dortmund gehört die H-Bahn. Linie 1 verkehrt im 10-Minuten-Takt zwischen Dortmund Eichlinghofen und dem Technologiezentrum über Campus Süd und Dortmund Universität S, Linie 2 pendelt im 5-Minuten-Takt zwischen Campus Nord und Campus Süd. Diese Strecke legt sie in zwei Minuten zurück.
Vom Flughafen Dortmund aus gelangt man mit dem AirportExpress innerhalb von gut 20 Minuten zum Dortmunder Hauptbahnhof und von dort mit der S-Bahn zur Universität. Ein größeres Angebot an internationalen Flugverbindungen bietet der etwa 60 Kilometer entfernte Flughafen Düsseldorf, der direkt mit der S-Bahn vom Bahnhof der Universität zu erreichen ist.