Erasmus Mundus
European Net of Excellence on Computational Logic
European Net of Excellence
on Computational Logic
the Assoc. of Logic, Language and Information
European Assoc. of Logic,
Language and Information
Portuguese Assoc. for Artificial Intelligence
Portuguese Assoc. for
Artificial Intelligence
IBM Center for Advanced Studies
IBM Center for
Advanced Studies
European  Committee for Artificial Intelligence
European Committee
for Artificial Intelligence
Italian Assoc. for Artificial Intelligence
Italian Assoc. for
Artificial Intelligence
Italian Assoc. for Informatics
AICA: Italian Assoc.
for Informatics
Italian Assoc. for Logic and its Applications
AILA: Italian Assoc. for
Logic and its Applications

EMCL: European Masters Program in
Computational Logic


Study Program

Based on a solid foundation in mathematical logic, theoretical computer science, artificial intelligence and declarative programming students will acquire in-depth knowledge necessary to specify, implement and run complex systems as well as to prove properties of these systems. In particular, the focus of instruction will be in deduction systems, knowledge representation and reasoning, artificial intelligence, formal specification and verification, syntax directed semantics, logic and automata theory, logic and computability. This basic knowledge is then applied to areas like logic and natural language processing, logic and the semantic web, bioinformatics, information systems and database technology, software and hardware verification. Students will acquire practical experience and will become familiar in the use of tools within these applications. In addition, students will be prepared for a future PhD, they will come in contact with the international research community and will be integrated into ongoing research projects. They will develop competence in foreign languages and international relationships, thereby improving their social skills.

When an exchange takes place, each student will be jointly supervised (monitored) by two lecturers (tutors): one from Bolzano, and the other from the partner institution in which the studies will be completed. The individual study plan will be jointly developed by the student with his/her tutors, and approved by a joint commission.

The first year is composed of "foundation" modules, which are held at Technische Universität Dresden (first term) and Free University of Bozen-Bolzano (second term), plus 20 credits from "advanced" modules. The second year is composed of 18 credits of "advanced" modules, a 12 credits project and the master thesis. This second year may be completed in any of the partner universities (including the Free University of Bozen-Bolzano). The chosen partner university will provide students with access to libraries, laboratories, accommodation facilities, health and liability insurance, and all the other services in the same conditions as all other students enrolled on courses at the partner university.

A detailed description of the study organisation, the modules, and the courses offered by the participating universities is in the centralised official web page of the EMCL.

List of courses at the Free University of Bozen-Bolzano.