Free University of Bozen - Bolzano Technische Universität Dresden Universidade Nova de Lisboa Universidad Politécnica de Madrid Vienna University of Technology NICTA

About  |  The Program  |  Grants  |  Further Information  |  Student Workshops  |  For Current Students  |  Internals  |  Contact & Imprint

Course Announcement


The European Master's Program in Computational Logic is offered by the following five partner institutions:

It is implemented as a mutually adjusted set of Master's Programs local to these universities:

Program Objectives

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 European Master's 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 European Master's 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 essence of the European Master's Program in Computational Logic is an integrated study program based on

Courses and the project are distributed over three terms. 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 term. This results in a 2-year program of 120 ECTS credit points.

The basic modules are offered in the first year by all partner institutions with the common aim of bringing the students to an equivalent level of skills and knowledge. Especially designed bridging courses integrated into the basic modules offered in the first term shall help 3rd country students in their adaptation to a Master's Course of European educational level.

The student's specialization (advanced modules, project and master's thesis) during the second year can also be pursued with all partner institutions, but varies from place to place according to local strengths in teaching and research.

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 Requirements

  1. Applicants for the European Master's Program in Computational Logic must satisfy the following study requirements:
    • Proof of a minimum knowledge of English such as a TOEFL (> written: 550/computer based: 213/internet based: 79) 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, 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 Examination Board.
  3. Students are registered in accordance with the regulations of the participating universities.

Commencement and Duration of Study

The program normally commences in fall.

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

The course consists of basic units, selected advanced units, a project, and a MSc thesis. All participating universities will offer the foundation units. The advanced units will be different and depend on the participating university.

Students have to select two of the partner universities. They are required to study one year each at the selected universities. They are jointly monitored by two lecturers (tutors), one from each university. Mutual recognition of credits is on the basis of modules, the project and the MSc thesis. On the successful completion of their studies students will receive a double Master's degree from the selected universities.


Application forms can be downloaded on the information page about how to apply and must be sent to the Technische Universität Dresden (even if students will not study at TUD).

Costs of Study

Funding Possibilities

For details see the information on the page about grants.

Contact Information

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


+49 (0)351 463 38341
+49 (0)351 463 38342

Last update:   Fri, 14 Aug 2009 12:36:33