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/