IMDEA Software

IMDEA initiative

news & events

The 2024 DISC Symposium, organized by IMDEA Software, was held last week in Madrid
November 5, 2024
The event took place at the Instituto de Ingeniería de España from October 28th to November 1st.

+ more

IMDEA Institutes organize “Science that helps the Planet” as part of the Madrid European Researchers’ Night
October 4, 2024
Once again, the Residencia de Estudiantes hosts the event coordinated by the Fundación para el Conocimiento madrimasd and framed within the Horizonte Europa Program.

+ more

Niki Vazou and co-authors of "Refinement types for Haskell" receive the test of time award at ICFP
October 2, 2024
The paper received the award because it industrialised the verification technology of refinement types and presented the tool Liquid Haskell that is actively used 10 years later both for education and software verification.

+ more

Alessio Mansutti's ICALP paper “Integer Linear-Exponential Programming in NP by Quantifier Elimination” wins the Track B Best Paper Award
September 26, 2024
The flagship research meeting on Automata, Logic, Semantics, and Theory of Programming awarded Alessio and his coauthors Dmitry Chistikov and Mikhail Starchak for a paper providing a NP procedure to decide whether a linear-exponential system of constraints has an integer solution.

+ more

highlights

careers