Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site

International M.Sc. Program in Computational Logic

Project information

One major activity was to setup and launch a joint distributed european MSc degree in Computational Logic with 4 other partners, initiated in the context of project CoLognet. This involved the creation of a new MSc in Computational Logic at UNL. Cf.

Ongoing since September 2004, concludes in September 2009.


Participating entities: Univ. Nova Lisboa, TU Dresden, TU Wien, UPM Madrid.


Funding entity: EU Erasmus Mundus.


Principal researcher: Luís Moniz Pereira.

Researchers: José Alferes, João Leite.

Funding: 75000 Euro.


Project continued in academic years 04/05 and 05/06. Several coordinating meetings. Yearly report.

Other information

Project website

Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541