Computational Logic - European

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.

Course Structure and Syllabus

The essence of the European Master's Program in Computational Logic is an integrated study program based on

* common and compulsory basic modules comprising 42 ECTS credit points, which are taught at each partner institution,
* selected advanced modules comprising 36 ECTS credit points, which are based on the specific strengths in research of the partner institutions and thus vary from partner to partner,
* a project of 12 ECTS credit points, and
* a research master thesis of 30 ECTS credit points.

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

anguage of instruction: English

Study abroad: one year

31th May deadline: