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


The Faculty of Computer Science at the Free University of Bozen-Bolzano (FUB), in Italy (at the heart of the Dolomites mountains in South Tyrol), is offering the European Masters Program in Computational Logic as part of its Master of Science in Computer Science offer (Laurea Magistrale). The European Masters Program in Computational Logic is an international distributed Master of Science course, in cooperation with the computer science departments in the following universities:

Within this program, completely in English, students will spend the first semester of the first year at the Technische Universität Dresden (TUD), the second semester of the first year at the Free University of Bozen-Bolzano (FUB), and the second year in one of the 4 partner universities chosen by the student. It is possible to spend 3 months at the National ICT Australia (NICTA) Research Centre of Excellence, which gives the possibility to work on a project at one of the world's leading research centers. After this, the student will obtain a joint European Master of Science degree.

The course consists of basic and advanced modules, a Project, and a Master theses, for a total of 120 ECTS credits. The basic modules are offered by the Technische Universität Dresden (TUD) and by the Free University of Bozen-Bolzano (FUB). The advanced modules for the first and the second year of the degree, the project, and the thesis, are offered by each of the 4 partner university, and they reflect the teaching and research specialisation of each site.

The European Masters Program in Computational Logic is one of the few European Masters of Science awarded since its first year of existence in 2004 by the European Union's Erasmus Mundus programme. The Erasmus Mundus programme is a co-operation and mobility programme in the field of higher education which promotes the European Union as a centre of excellence in learning around the world by supporting European top-quality Masters Courses.

The European Masters Program in Computational Logic is sponsored scientifically by the European Network of Excellence on Computational Logic (CoLogNET), the European Association of Logic, Language and Information (FoLLI), the IBM Center for Advanced Studies (IBM-CAS), the European Coordinating Committee for Artificial Intelligence (ECCAI), the Italian Association for Artificial Intelligence (AI*IA), the Italian Association for Informatics (AICA, member of the Council of European Professional Informatics Societies), the Italian Association for Logic and its Applications (AILA), and the Portuguese Association for Artificial Intelligence (APPIA).

For further information check the menu at the left of this page, or contact the .

The centralised official web page of the EMCL is <http://www.emcl-study.eu>


Diplom, Formale Methoden, Informatik, Künstliche Intelligenz, Logik, Europäischer Master, Fachlaureat, Internationaler Master, Master, master, Spezialisierung, Stipendium, Studienplatz, Studium, Universität Bozen, borsa di studio, informatica, intelligenza artificiale, logica, borse di studio, corsi specialistici postlaurea, degree, artificial intelligence, formal methods, logic, logics, diploma, european master, european masters, grant, grants, informatikstudium, laurea, master europeo, scienze informazione, master universitari, masters, masterstudiengang, masterstudiengänge, scholarship, specializzazione, studi, università bolzano, university bolzano, university bozen, universität bozen, erasmus mundus, european studies, freie universität bozen, studiengang, studiengänge, studieren, studium, international students, lauree specialistiche, laurea magistrale, libera università di bolzano, wirtschaftsinformatik, studienführer, technische informatik, universitäten informatik