Master class: LM-18
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.
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
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
Responsible for Services to Students
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