The European Master's Program in Computational Logic (EMCL) was a two years joint MSc programme offering a joint degree between four European universities as a part of the Erasmus Mundus co-operation and mobility programme. So far (from 2004 to 2008), this programme had more than 130 students. The partner institutions are: * Technische Universität Dresden, Germany (coordinating university) * Free University of Bozen-Bolzano, Italy * Universidade Nova de Lisboa, Portugal * Technische Universität Wien, Austria * NICTA, Australia