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.
Project website
