Gilles Barthe gives one of the two plenary Keynote addresses at ETAPS 2013, presenting his work on Computer-aided Cryptographic Proofs, developed at the IMDEA Software Institute... +
The IMDEA Software Institute has recently joined 4Caast, a EU project in collaboration with Telefonica, SAP, France Telecom, Nokia, Bull, 2nd Quadrant, Flexiscale, Bonitasoft, and a number of academic institutions... +
IMDEA Software researchers, win the best paper award at The 18th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP'2013), for their article From Relational Verification to SIMD Loop Synthesis... +
© 2013 Fundación IMDEA | © Fractals