TU Dresden
 Chair for Automata Theory

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

Chair

Head: Prof. Franz Baader
Staff
Information for students

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".

Research

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
Contacts
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

Links

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

Address

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


Impressum