European Master's Program in Computational Logic


New Revised Program from the Fall of 2017 Onwards

New Module Structure 

The teaching program is structured into modules (see table below). Each module is specified in detail by giving the responsible university, the lecturer in charge, the content and qualification objectives (learning outcomes), the form of teaching, the courses, the prerequisites for participation, the usability, the credits, the frequency, and its duration. All modules are consecutive and taught in English. 

All modules of the form EMCL-B-X are basic and mandatory modules; all modules of the form EMCL-A-X are advanced modules, from which a student must select at least three.

Name Title ECTS Univ
EMCL-B-F Foundations 8 TUD
EMCL-B-LCP Logic and Constraint Programming 8 TUD
EMCL-B-AL Advanced Logic 8 unibz
EMCL-B-ILS Integrated Logic Systems 8 unibz
EMCL-B-PCS Presentation and Communication Skills 4 unibz,TUD
EMCL-B-S Seminar 6 all PUs
EMCL-B-P Project 12 all PUs
EMCL-B-MT Master Thesis 30 all PUs
EMCL-A-C Constraints 12 NOVA
EMCL-A-CLIT Computational Logic for Information Technology 12 TUW
EMCL-A-CSE Computer Science Engineering 12 all PUs
EMCL-A-KR Knowledge Representation 12 TUD, NOVA, TUW
EMCL-A-LF Logical Foundations 12 TUW
EMCL-A-LLSRS Logics and Languages for Software Reliability and Security 12 NOVA
EMCL-A-MV Modelling and Verification 12 TUW
EMCL-A-ODS Ontology and Database Systems 12 unibz
EMCL-A-PC Principles of Computation 12 unibz, TUW
EMCL-A-PDM Principles of Data Management 12 unibz
EMCL-A-PI Principles of Inference 12 TUD,TUW
EMCL-A-ST Semantic Technologies 12 unibz, NOVA
EMCL-A-TCSL Theoretical Computer Science and Logic 12 TUD

Foundation- and Application Track

In the second year students specialize in various aspects. They have to select between a foundation and an application-oriented track. Whereas the foundation track is aiming at preparing the students to continue their education in a PhD program, the application-oriented track shall prepare students to work in business and industry after the successful graduation in EMCL. Besides selecting a track the students specialize within CL in their advanced modules, their projects, their seminars and their master theses. 

In the foundation track students will be integrated into ongoing research projects at the Partner Universities in their projects and master theses. Moreover, projects and master thesis can be done in cooperation with international research institutions like DATA61.

In the application-oriented track students are supposed to work on their project and master theses topics in collaboration with an industrial partner thus gaining a deep business knowledge, a strong strategic orientation, and a thorough understanding of the customer and business process. In addition, an internship as part of the module EMCL-A-CSE shall prepare students for the project and master work in industry and business.

Adapations to the Module EMCL-A-CSE

The module EMCL-A-CSE has been modified for the application-oriented track. It now includes

  • Distributed Advanced Seminar

    In this seminar offered by all Partner Universities, representatives of companies present applied research. These seminars will be organized biweekly at one partner university and televised to all Partner Universities. As a follow-up, students may visit the companies. These excursions will be organized in the first semester by TUD, in the second semester by unibz as well as during the EMCL students' workshop in Vienna by TUW and in Lisbon by NOVA. Students are required to deliver reports identifying joint research problems that can be addressed in an internship, a project, and/or a master thesis. This advanced seminar shall be the starting point to develop skills to initiate and to maintain successful business partnerships.

  • Lecture on Application of Computational Logic
  • Internship

Evaluation Board

The Evaluation Board carries out the external evaluation and consists of two external experts, one student, one alumnus, two administrative staff members and two teaching staff memers.

The student and the alumnus are selected by the current students and the alumni, respectively. The administrative and the teaching staff members are selected by the JC and shall together represent all Partner Universities. The two external experts in the EB shall be selected by Informatics Europe (

Advisory Board

The Advisory Board advices the Joint Commission on all aspects of education and training in CL while focusing on the aded value for the distributed joint aster program for European education in Computational Logic. The following are the current members of the Advisory Board:

Name Affiliation and, if applicable, further information
Dr. Peter Baumgartner DATA61, Canberra, Australia
Mats Carlsson, PhD Swedish Institute of Computer Science, Uppsala, Sweden
Dr. Andreas Falkner SIEMENS AG Österreich, Wien, Austria
Prof. Frédéric Benhamou University of Nantes, France
Dr. Alon Halevy Recruit Institute of Technology, Stockholm, Sweden
Prof. João Pavão Martins Univ. of Lisbon, Portugal and CEO SISCOG - Sistemas Cognitivos, SA
Dr. Mikhail Roshchin SIEMENS AG Munich, Germany, and Alumnus
Prof. Torsten Schaub Univ. Potsdam, Germany, and President of the Association for Logic Programming
Dr. Stefanus Yohanes University of Indonesia, Jakarta, Indonesia


Associated Partners

  • DATA61, former NICTA 

Selection Board

The selection board consists of two members of each Partner University. They receive the applications of the students, and implements the application- and selection process, as specified in in the EMCL booklet All About EMCL.