Projects details

  • - International M.Sc. Program in Computational Logic
  • Sep 2004 - Sep 2009
  • 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.
  • EU Erasmus Mundus
  • 75000 Euro
  • 1 Sep 2004
  • 1 Sep 2009
  • Luís Moniz Pereira [Coordinator], João Leite [Researcher], José Júlio Alferes [Researcher]
  • UPM Madrid
  • TU Wien
  • TU Dresden - Technical University of Dresden, Germany
  • Universidade Nova de Lisboa
  • Project continued in academic years 04/05 and 05/06. Several coordinating meetings. Yearly report.
  • http://ssdi.di.fct.unl.pt/masters/mcl/