Observatorio de I+D+i UPM

Memorias de investigación
Proyecto de I+D+i:
European Master Course in Computational Logic
Año:2008
Áreas de investigación
  • Lenguaje de programación
Datos
Descripción
The Computer Science Department (Facultad de Informática) of the Technical University of Madrid launched a Master Degree in Computational Logic with international cooperation during the course 2004/2005. It was the first Erasmus Mundus master in Europe in the area of Computer Science.
Internacional
Si
Tipo de proyecto
Proyectos y convenios en convocatorias públicas competitivas
Entidad financiadora
European Commission
Nacionalidad Entidad
Sin nacionalidad
Tamaño de la entidad
Gran Empresa (>250)
Fecha concesión
Esta actividad pertenece a memorias de investigación
Participantes
  • Participante: Damiano Zanardini
  • Director: Francisco Bueno Carrillo (UPM)
  • Director: Manuel Carro Liñares (UPM)
  • Participante: Pablo Nogueira Iglesias (UPM)
  • Participante: Oscar Corcho Garcia (UPM)
  • Participante: Igor Boguslavskiy Margolin (UPM)
  • Participante: Maria Concepcion Bielza Lozoya (UPM)
  • Participante: Susana Muñoz Hernandez (UPM)
  • Participante: Pedro Lopez Garcia (UPM)
  • Participante: Julio Mariño Carballo (UPM)
  • Participante: Josefa Zuleide Hernandez Diego (UPM)
  • Director: Alvaro German Puebla Sanchez (UPM)
  • Director: Nikolaus Guyon Swoboda (UPM)
  • Participante: Lars-Ake Fredlund (UPM)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
  • Departamento: Lenguajes y Sistemas Informáticos e Ingeniería de Software
  • Departamento: Inteligencia Artificial
  • Grupo de Investigación: Ontology Engineering Group (LIA). Laboratorio Inteligencia Artificial. Grupo de Ingeniería Ontológica
  • Grupo de Investigación: Grupo de análisis de decisiones y estadística
  • Grupo de Investigación: Grupo de Sistemas Inteligentes
  • Grupo de Investigación: Grupo de Validación y Aplicaciones Industriales
  • Grupo de Investigación: BABEL: Desarrollo de Software Fiable y de Alta Calidad a partir de Tecnología Declarativa
S2i 2021 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)