Free University of Bozen · Bolzano -
Back to department main page

European Master's Programme in Computational Logic
Laurea magistrale interateneo in Logica Computazionale

Master class: LM-18
Computer Science

Director of the Degree Course: Prof. Enrico Franconi

The Master’s programme
Our European Master's Programme in Computational Logic is an international distributed Master's Degree Course. It foresees compulsory mobility periods and leads to a Joint Degree in Computational Logic awarded by the universities attended by the student. It is offered in cooperation with the computer science departments in the following universities:

The European Master's Programme in Computational Logic is sponsored scientifically by:

This program is one of the few European Masters awarded by the European Union's Erasmus Mundus programme since its very first year of existence, in 2004.

Subjects taught
Foundations, Logic and Constraint Programming, Advanced Logic, Integrated Logic Systems, Computational Logic for Information Technology, Computer Science Engineering, Constraints, Knowledge Representation, Logics and Languages for Software Reliability and Security, Modeling and Verification, Natural Language Processing and Automata, Ontology and Database Systems, Principles of Data Management, Principles of Inference, Semantic Technologies, Theoretical Computer Science and Logic, Project, Presentation and Communication Skills

Career opportunities
Graduates’ skills and knowledge enable them to work: in a position of responsibility in the analysis, design and coordination of the development and administration of complex information systems (software systems and business models) in public and private companies with strong technological and innovative focus in the area of information systems, or that use information processing technologies in order to deliver services; as researchers in public or private laboratories working on the analysis, formalisation, design and prototypal development of innovative software systems and ICT technologies for the solution of complex theoretical and applicative computation problems in strategic sectors such as industry, services, environment, health, heritage, public administration; as entrepreneurs.

Graduates may sit the state examination required to practise as an information engineer (Ingegnere dell’Informazione).

  • Study Manifesto
  • Statistic distribution of grades


Degree Committee of the European Master's Programme in Computational Logic

Prof. Enrico Franconi, Dr. Sergio Tessaris

Director of the Degree Course

  • Prof. Enrico Franconi 

Responsible for Services to Students

  • Dr. Sergio Tessaris

Study Plan Advisors / Tutors

  • Prof. Enrico Franconi, Dr. Marco Montali, Dr. Sergio Tessaris

Detailed information can be found on the website of the programme coordinator.



© UniBz