TU Dresden
 Chair for Automata Theory

 German    Diese Seite auf Deutsch
Institute for Theoretical Computer Science
  Faculty of Computer Science   


Head: Prof. Franz Baader
Information for students

HAEC Open position in the Collaborative Research Center "Highly Adaptive Energy-Efficient Computing" (HAEC).
More information (in German) can be found here. If you have any enquiries regarding this position, feel free to contact Anni-Yasmin Turhan or Franz Baader.
QuantLA The research training group "Quantitative Logics and Automata" started on October 1, 2012.
More information: http://lat.inf.tu-dresden.de/quantla/.
RoSI The research training group "Role-based Software Infrastructures for Continuous-Context-Sensitive Systems" started on October 1, 2013.
More information: http://wwwdb.inf.tu-dresden.de/rosi.
cfAED PhD students wanted in Cluster of Excellence "Center for Advancing Electronics Dresden".
More information: https://www.cfaed.tu-dresden.de under "Careers".


Publications, technical reports, bachelor and master theses (including Diplomarbeiten), habilitation and PhD theses
A textbook on term rewriting:
Franz Baader, Tobias Nipkow: Term Rewriting and All That
Now also as paperback!
A new handbook on description logic:
Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, Peter Patel-Schneider (Ed.): The Description Logic Handbook
Scientific Awards
Major research topics
Software systems

Events, Meetings, Journals.

Workshops and Conferences
( DL 2014, KR 2014, IJCAR 2014, PRUV 2014, ...)
Journals on artificial intelligence and logic:
JANCL - Journal of Applied Non-Classical Logics
AICom - The European Journal on Artificial Intelligence
Journal of Artificial Intelligence Research
Journal of Applied Logic
LMCS - Logical Methods in Computer Science
Artificial Intelligence
Journal of Automated Reasoning


Description Logic Homepage
DFG Research Training Group QuantLA
DFG Research Training Group RoSI
DFG Collaborative Research Centre HAEC
DFG Research Unit HYBRIS
Cluster of Excellence CFAED
International Center for Computational Logic ICCL
European Masters Program in Computational Logic EMCL
Homepage of the Fachgruppe 0.1.6 of the GI "Logic in Computer Science" Deutsch
Internal pages


Postal address
Technische Universität Dresden
Fakultät Informatik
Institut für Theoretische Informatik
D-01062 Dresden
Visiting address
Nöthnitzer Str. 46
01187 Dresden
Tel.: +49-351-463 38237
FAX: +49-351-463 37959