TU Dortmund - Lehrstuhl Informatik 1 - Logik in der Informatik

Aktivitäten/ Activities

Editor

Program Committees

PODS 2011: 31st ACM Symposium on Principles of Database Systems (Chair)
STACS 2011: 28th International Symposium on Theoretical Aspects of Computer Science (co-chair) (the conference will be in Dortmund)
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

Organization 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'

Dagstuhl Seminars

Joomla SEF URLs by Artio

Prof. Dr. Thomas Schwentick