4.1 Local Master Programs
The European Master's Program is based on the following local master programs:
FUB | European Masters Program in Computational Logic |
TUD | International MSc. Program in Computational Logic |
TUW | European Masters Program in Computational Logic |
UNL | Mestrado em Lógica Computacional |