Course Announcement

From International Center for Computational Logic
Toggle side column

Course Announcement


The Department of Computer Science at the Technische Universität Dresden is offering the International MSc Program in Computational Logic. This program was originally accredited until 30 September 2014. The accreditation was extended until 30.09.2016 by ACQUIN. The re-accreditation process will be finished in autumn 2017.

Program Objectives

Computational Logic brochure
Computational Logic brochure

The objective of the program is to impart to the students the profound theoretical and practical knowledge required for professional practice in the field, to give them a survey of the individual disciplines of Computational Logic and to develop their ability to work according to scientific methods. In addition, the students are given the opportunity to plan their studies to fit a particular practical application. To acquire practice-oriented knowledge they may choose appropriate combinations of modules. By means of visits abroad and English as the language of instruction, the students are to be prepared for the increasing internationalism of science, commerce and industry.

The focus of instruction lies in the following areas: mathematical logic, logic programming, deduction systems, knowledge representation, artificial intelligence, methods of formal specification and verification, inference techniques, syntax-directed semantics, and the relationship between theoretical computer science and logic.

The further qualification for professional practice and research obtained by the International MSc Program in Computational Logic is determined by the Master's examination. The examination provides a means to determine whether the candidate has a scientific overview of his field, whether he has acquired the technical knowledge and skills required for professional practice and whether he is capable of applying knowledge and scientific methods independently. On successful completion of the examination, both the visiting universities award a master degree. The certificates indicate that the degree was obtained in the International MSc Program in Computational Logic.

Students will be prepared for a future PhD, they will come into contact with the international research community and will be integrated into ongoing research projects. They will develop competence in foreign languages and international relationships, thereby improving their social skills.

Course Structure and Syllabus

The International MSc Program in Computational Logic is based on:

  • five compulsory basic modules
  • three selected advanced modules
  • a project and
  • a research master thesis .

Courses are distributed over three semesters. They amount to a total of 90 ECTS credit points. In addition, 30 ECTS credit points are assigned to the master's thesis and its defense in the fourth semester. This results in a two-year program of 120 ECTS credit points.

In the final master's thesis the candidate should demonstrate his capability to solve independently a problem in Computational Logic or its applications using scientific methods.

Study abroad

Students may study one semester abroad.

Study Requirements

  1. Applicants for the International MSc Program in Computational Logic must satisfy the following study requirements:
    • Proof of a minimum knowledge of English such as a TOEFL (> 550/213) or an IELTS (> 6.0) certificate or equivalent
    • Bachelor's degree in Computer Science, Mathematics, or equivalent
    • Proof of extensive knowledge in the areas foundations of mathematical logic, theoretical computer science, foundations of artificial intelligence, and declarative programming is required with a grade equivalent of "good" or "very good". They need to be demonstrated by certificates, examination records or other written academic performance records.
  2. The fulfillment of the requirements mentioned in Paragraph 1 is decided by the Admission Committee.

Commencement and Duration of Study

The program normally commences in the winter semester.

The regular period of study including preparation and defense of the MSc thesis comprises four semesters.


The procedure is explained on the information page about how to apply.

Tuition Fee

The TU Dresden is a public university and does not charge tuition fee.

Semester Fee

Students must pay semester fee amounting to about 260 EUR that covers the "Studentenwerk", the "Studentenschaft", and the so-called "Semester Ticket" (this ticket also serves as transportation pass for buses, trams and trains in and around the Dresden area).

Funding Possibilities

Information are available on the page about grants. Students may apply for the Erasmus+ scholarship for the study abroad.

Contact Information

CL Secretary
International Center for Computational Logic
Department of Computer Science
Technische Universität Dresden
01062 Dresden

Telephone: +49 (0)351 463 38341

Telefax: +49 (0)351 463 38342