Double Master Program

TU Dresden TUV
Nova U. Bolzano

Students can obtain a double degree program if they follow some of the modules in our of the partners institutions (see below). They are jointly monitored by two lecturers (tutors), one from UPM and one from the hosting institution. In addition to the standard curriculum, language classes in the hosting foreign language are offered.

If you are interested in the double degree program then please indicate this when filling the application form.

Partners

Computational Logic Master, at the Technical University of Dresden

Master on Computational Logic, at Technical University of Vienna

Master's Program in Computational Logic, at University of Bolzano

Mestrado em Logica Computational, at Universidade Nova de Lisboa

 

Modules and Courses

The timetable for 2006/2007 is available here. A general view of the Modules and Courses of the Master offered by the UPM can be consulted below (1S is first semester y 2S is second semester):

Logical Foundations

(12 ETCS)
  • Formal Logic (6 ETCS - 1S)
    • Coordinator: Luis Iraola
      Ana García Serrano
      Luis Iraola
  • Computational Logic (6 ETCS - 1S)
    • Coordinator: Josefa Z. Hernández Diego
      Francisco Bueno Carrillo
      Josefa Z. Hernández Diego

Declarative, Logic and Constraint Programming

(12 ECTS)
  • Logic Programming (6 ECTS - 1S)
    • Coordinator: Pedro López García
      Manuel Hermenegildo Salinas
      Pedro López García
  • Declarative Programming (6 ECTS - 1S)
    • Coordinator: Susana Muñoz Hernández
      Pablo Nogueira Iglesias
      Susana Muñoz Hernández

Advanced Logics and Integrated Logic Systems

(18 ECTS)
  • Extensions of LP & Constraint Programming (6 ECTS - 2S)
    • Coordinator: Pedro López García
      Francisco Bueno Carrillo
      Pedro López García
  • Non-classical Logics (6 ECTS - 2S)
    • Coordinator: Julio Mariño Carvallo
      Julio Mariño Carvallo
      James Lipton
  • Models of Inexact Reasoning (6 ECTS - 1S)
    • Coordinator: Susana Muñoz Hernández
      Francisco Bueno Carrillo
      Miguel García Remesal
      Susana Muñoz Hernández

Advanced Modules

    Modules:
      -Logic System Applications (12/18 ECTS) two or three of IA, NL, RS, ST
      -Software development using declarative technology (12/18 ECTS) two or three of CB, RS, ST
      -Soft-computing (12/18 ECTS) two or three of BR, IA, NL, OS
      -Web semantics (10-18 ECTS) two or three of IA, NL, OS
    Subjects:
  • (NL) Natural Language Processing (6 ECTS - 1S)
    • Coordinator: Ana García Serrano
      Ana García Serrano
      Josefa Z. Hernández Diego
  • (CB) Component-Based Software (6 ECTS - 1S)
    • Coordinator: Juan José Moreno
      Juan José Moreno
      Lars-Ake Fredlund
  • (IA) Intelligent Agents and Multiagent Systems (6 ECTS - 1S)
    • Coordinator: Josefa Z. Hernández Diego
      Ana García Serrano
      Josefa Z. Hernández Diego
  • (OS) Ontologies and the Semantic Web (6 ECTS - 1S)
    • Coordinator: Asunción Gómez
      Asunción Gómez
  • (RS) Rigorous Software Development (6 ECTS - 1S)
    • Coordinator: Juan José Moreno Navarro
      Juan José Moreno Navarro
      Manuel Carro Liñares
      Julio Mariño Carvallo
      James Lipton
  • (ST) Software techniques for Debugging, Analysis and Optimization (6 ECTS - 2S)
    • Coordinator: Germán Puebla
      James Lipton
      Samir Genaim
      Germán Puebla
  • (BR) Bayesian Reasoning with Graphical Models (4 ECTS - 2S)
    • Coordinator: Concha Bielza
      Pedro Larrañaga
      Concha Bielza