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

General Course Program

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.

TERM 1 2 3 4
Basic modules
Foundations 12 - - -
Logic and Constraint Programming 12 - - -
Advanced Logics - 9 - -
Integrated Logic Systems - 9 - -
Selected Advanced Modules 6 12 18 -
Project - - 12 -
MSc thesis - - - 30
Sum 30 30 30 30
Maximum number of credit points 120

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 thesis the candidate should demonstrate his capability to solve independently a problem in Computational Logic or its applications using scientific methods.

Examinations and ECTS Point System

The course of study is completed by the Master's examination. The Master's examination consists of two parts, the module examinations and the MSc thesis together with its defense. Module examinations are taken in the form of examinations that take place throughout the period of study. The grading of module examinations is performed according to the ECTS scale.

ECTS points are issued if a module examination has been passed. The ECTS point system offers a unified framework for the assessment of studies carried out abroad.

Information about Advanced Modules

For more information on the study programs involved in the European Master's Program in Computational Logic - and about the advanced modules in particular - you may consult the following pages:

Language Courses

In general, we are able to offer German language courses for beginners free of charge at TUD. Information on the courses will be available from our International Office.

Last update:   Mon, 17 Nov 2008 15:28:47