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

• 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 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:

• Modules in the European Masters Program in Computational Logic at FUB
• Modules in the International MSc Program in Computational Logic at TUD
• Modules in the European Masters Program in Computational Logic at TUW
• Modules in the International M.Sc. Program in Computational Logic at UNL
• Modules in the UPM Master on COMPUTATIONAL LOGIC at UPM

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