IMDEA Software
María de Maeztu

IMDEA initiative

news & events

October 24, 2025
The event took place at the IMDEA Software institute and brought together members of the REDIMadrid project to discuss the current state of the network and its future challenges
October 10, 2025
Researchers from IMDEA Software participated this September in the international conferences ICLP, LOPSTR, and PPDP in Italy, where they presented their advances in logic programming, formal verification, and Prolog education
October 8, 2025
From October 1 to 3, the IMDEA Software Institute was the venue chosen this year to host the 19th International Conference on Reachability Problems (RP’25).
October 3, 2025
Professors from Beihang University visited the IMDEA Software Institute to explore new avenues of collaboration

highlights

careers