Master Computational Logic (from 2017)

Table of contents

      1. International MSc Program in Computational Logic
      2. Course Structure and Syllabus
      3. For Students starting in October 2017 or later
      4. Program Objective
      5. Career Prospects

International MSc Program in Computational Logic

Course Structure and Syllabus

The International MSc Program in Computational Logic is based on

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. 

For Students starting in October 2017 or later

Lectures Semester
1 2 3 4
Basic Modules        
Foundations 8 CP      
Logic and Constraint Programming 8 CP      
Advanced Logics   8 CP    
Integrated Logic Systems   8 CP    
Communication Skills 4 CP    
Presentation Skills     6 CP  
Project     12 CP  
Selected Advanced Modules 12 CP 12 CP 12 CP  
MSc Thesis       30 CP
Sum of credit points 30 30 30 30
Maximum number of credit points 120

The student is going to focus on individual topics by selecting a set of advanced modules.

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. The course must be completed by the Master's examination. The Master's examination consists of two parts: the written or oral module examinations and the MSc thesis together with its defense.

The European Network of Excellence in Computational Logic, CompulogNET, developed a curriculum for the International Master's Program in Computational Logic (MCL) with the ultimate goal that the best students can study with the best experts in the field.

Based on a sound background in mathematical logic, theoretical computer science and artificial intelligence, students learn the engineering aspects of logic-based artificial intelligence or computational logic. MCL is an accredited and internationally recognized Master's Program focusing on Computational Logic. Integrated study periods at partner universities in Italy, Austria and Portugal are offered with the objective to obtain a joint degree.

Program Objective

Considering that artificial intelligence will likely be the most important technology of the future, the program aims at teaching students profound theoretical and practical knowledge required for professional practice in the field of logic-based artificial intelligence while developing the ability to work according to scientific methods. Students are trained to analyze problems and to develop sustainable solutions. They master the design, development, operation and maintenance of knowledge-based systems, are familiar with formal methods and techniques, and are able to specify and implement complex systems.

Career Prospects

Thanks to their acquired broad technical knowledge, the graduates will be able to master in their professional life a large variety of complex tasks in the fields of computer science and artificial intelligence. Graduates are qualified for scientific research (PhD) as well as related professional fields. They will have the possibility to continue in basic research, conduct research in institutions of higher education or occupy a position in an industrial company.

About this page

Katrin Borcea-Pfitzmann
Last modified: Sep 25, 2017