IMDEA Software
María de Maeztu

Iniciativa IMDEA

noticias y eventos

24 de octubre de 2025
El evento tuvo lugar en la sede de IMDEA Software y reunió a los integrantes del proyecto REDIMadrid para debatir el estado de la red y sus retos futuros
10 de octubre de 2025
Investigadores de IMDEA Software participaron este septiembre en las conferencias internacionales ICLP, LOPSTR y PPDP en Italia, donde presentaron sus avances en programación lógica, verificación formal y enseñanza de Prolog
8 de octubre de 2025
Del 1 al 3 de octubre, IMDEA Software fue la sede escogida este año para albergar la 19th International Conference on Reachability Problems
3 de octubre de 2025
Profesores de la Universidad de Beihang visitaron el Instituto IMDEA Software para explorar nuevas vías de colaboración

actualidad

empleo