Master in Computational Logic
"The New University of Lisbon and the Technical University of Dresden, along with other European universities, have designed and implemented a Dual Distributed European Master Program in Computational Logic. A candidate student can take this Master Program in any of the associated universities, getting a Double Master Degree Diploma in the end.
Another option is to take the Master Program in Computational Logic in the New University of Lisbon, getting a Master Degree Diploma in the end."
Mais Informações sobre o MCL no site:http://ssdi.di.fct.unl.pt/masters/mcl/