Mestrado em Lógica Computacional

A Universidade Nova de Lisboa e a Universidade Técnica de Dresden, juntamente com outras universidades europeias, desenharam e implementaram um Programa Europeu Duplo Distribuído em Lógica Computacional. Um estudante pode frequentar este Programa de Mestrado em qualquer uma das universidades associadas, obtendo no final um Diploma de Mestrado Duplo válido nos dois países.

Outra opção consiste em frequentar o Programa de Mestrado em Lógica Computacional, obtendo no final o grau de Mestre (2º ciclo).

Mais Informações sobre o MCL no site:

http://ssdi.di.fct.unl.pt/masters/mcl/