IMDEA Software

IMDEA initiative

news & events

Mar 4, 2021

"Relational logics for higher-order effectful programs"

Feb 26, 2021

It is the first time the Haskell Foundation decides to create a Board of Directors

Feb 8, 2021

Manuel Hermenegildo, has been appointed for a second three-year term as Chairman of the Scientific Board of INRIA, the French National Institute for Research in Computer Science and Automation

Feb 1, 2021

"Multi-Key Homomorphic Authenticators" is the long version of a paper they first published in 2016

highlights

careers