Instituto IMDEA Software

noticias y eventos

Investigadores de IMDEA Software participan en el ICLP, LOPSTR y PPDP en Italia

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

IMDEA Software acogió la 19th International Conference on Reachability Problems

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

Visita de la Universidad de Beihang al Instituto IMDEA Software

3 de octubre de 2025

Profesores de la Universidad de Beihang visitaron el Instituto IMDEA Software para explorar nuevas vías de colaboración

IMDEA Software participa en las actividades de la XVI Noche Europea de los Investigadores

29 de septiembre de 2025

El subdirector de IMDEA Software Antonio Fernández y el investigador Gibran Gómez participaron este viernes 26 en el encuentro organizado en la Residencia de estudiantes de Madrid

noticias y eventos

actualidad

empleo