European Master's Program in Computational Logic



The impressum of the Technische Universität Dresden is valid with the following additions and modifications.


Prof. Dr. Steffen Hölldobler
International Center for Computational Logic
Department of Computer Science
Technische Universität Dresden
01062 Dresden

General liability

The Artificial Intelligence Institute belongs to the Department of Computer Science at the Technische Universität Dresden. The TU Dresden is a corporation of public law represented legally by the rector, Prof. Hans Müller-Steinhagen.

Sales tax identification number

DE 188 369 991

Realisation and operation

The Webmaster
International Center for Computational Logic
Department of Computer Science
Technische Universität Dresden
01062 Dresden


All information published on this website (layout, texts, pictures, tables, etc.) are protected by copyright. Any use of this information not allowed by copyright laws requires the prior explicit approval of the Artificial Intelligence Institute. This applies especially for the distribution, alteration, translation, copying, processing or reproduction of information on database or other electronic media and systems. The photocopying and downloading of web pages for private, scientific, non-commercial use is acceptable.

We openly allow and encourage the citation of our documents and web pages and the creation of links to our website.

Copyright laws

The internet service team of the TU Dresden makes every effort to observe all copyright laws to which the illustrations, sound files, video sequences, and texts on our site are subject, to use illustrations, sound files, video sequences, and texts of its own creation, or to use illustrations, sound files, video sequences, and texts from the public domain. All registered trademarks and brand names on this website are subject without restrictions to any regulations pertaining to the registration and property rights of their respective owners. One should not assume that trademarks are not protected by the rights of third parties on the basis of the simple fact that they are named on this website!


Disclaimer for content created by employees of the TU Dresden

The content of this website has been researched and implemented with a high degree of care. However, the possibility of errors in the processing and implementation cannot be fully excluded. Please send any remarks or corrections to the Webmaster using the email address .

Despite our care in designing this website, we can assume liability neither for its correctness and completeness, nor for information on it that is not current. More specifically, the TU Dresden assumes no liability for damages or other consequences directly or indirectly resulting from the use of content on this website.

Disclaimer for cross-references and links

In accordance with common law, the TU Dresden is responsible for contents created by persons associated with the university. Such content does not include cross-references to content from other websites. This foreign content neither originates from the TU Dresden, nor does the TU Dresden possess any influence over the content of such third party sites.

The content of foreign sites with which the TU Dresden is associated by links does not reflect the opinion of the TU Dresden, serving merely as a source of further information and the description of connections.

These remarks hold for all links and references on this website as well as for entries in guest books set up by the TU Dresden, discussion forums, and mailing lists. Legally responsible for illegal, incorrect, or incomplete content or especially for damages incurred as a result of the use of such information is solely the owner of the page the reference refers to.

Privacy Policy

Access to the website

Our informational pages are made available exclusively on the web servers of the Artificial Intelligence Institute under the administration of the TU Dresden.

Every time you access the website this information is documented on a protocol file. The data on this protocol file make no reference to individual persons. We are thus not able to track which pages you have accessed or which files you have retrieved. The following data are saved in the protocol file:

  • the name of the file retrieved
  • the date and time of retrieval
  • message as to whether the retrieval was successful

Your IP address or hostname will not be saved in the protocol file.

Information relating to individuals (personal data) is collected and used in accordance with the Directive 95/46 EC of the European Parliament and of the Council of 24 October 1995 (Official Journal L 281 , 23/11/1995 P. 0031 ? 0050).


Unless otherwise indicated, we do not use cookies, Java applets, or Active X controls. We do employ several JavaScript functions in order to display our informational pages and navigational aids adequately. However, all relevant information may be accessed without JavaScript as well.