IMDEA Software

IMDEA initiative

news & events

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

Members of the MadQuantum-CM project publish in Nature their paper: "MadQCI: a heterogeneous and scalable SDN-QKD network deployed in production facilities"
September 10, 2024
César Sánchez and David Rincón from REDIMadrid are part of the authors of the article that publishes the conclusions of three years of tests.

+ more

highlights

careers