Gilles Barthe ha impartido una de las dos conferencias plenarias en ETAPS 2013, presentando su trabajo sobre Computer-aided Cryptographic Proofs, desarrollada en el Instituto IMDEA Software... +
Investigadores de IMDEA Software ganan el premio a la mejor contribución en el 18 ACM SIGPLAN Simposium en Principios y Práctica de Programación Paralela (PPoPP'2013) con su artículo From Relational Verification to SIMD Loop Synthesis... +
© 2013 Fundación IMDEA | © Fractals