ETH Zurich ha otorgado la medalla a la mejor tesis doctoral al investigador postdoctoral del Instituto IMDEA Software Benedikt Schmidt. La tesis trata sobre el análisis formal de protocolos físicos y protocolos para el intercambio de claves de seguridad.

Cinco contribuciones de investigadores del Instituto IMDEA Software han sido aceptadas en el "41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages" (POPL 2014), un congreso del máximo nivel en el campo de los lenguajes y sistemas de programación.

El presidente de la Comunidad deMadrid, Ignacio González González, inauguró la sede del Instituto Madrileño de Estudios Avanzados en Software, que tuvo lugar el lunes 8 de julio a las 12:00...

El Instituto IMDEA Software ha sido elegido miembro asociado de los EIT ICT Labs, una de las tres Comunidades de Conocimiento e Innovación (KICs) del Instituto Europeo de Innovación y Tecnología (EIT)...

El Instituto IMDEA Software ha organizado un curso intensivo sobre la tecnología ActionGUI, de un día de duración, con la participación de representantes de Atos Research & Innovation...

Andrea Cerone, gana el premio al mejor trabajo en el 8° Congreso Internacional sobre Técnicas de Computación Distribuida, por el artículo "Modeling Mac-layer Communications in Wireless Systems".

Juan Caballero da una charla invitada en la 38ª reunión anual del "Messaging, Malware and Mobile Anti-Abuse Working Group" (M3AAWG) en Viena, Austria.

El Instituto IMDEA Software ha publicado su informe anual 2012.

En el marco de su estrategia de cooperación industrial, el Instituto IMDEA Software ha constituido, junto con Telefónica Digital una Unidad Especial Conjunta de Investigación (Joint Research Unit - JRU), en el área de los componentes y productos de software para la computación en la nube y sus infraestructuras de apoyo...

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...

Cinco contribuciones de investigadores del Instituto IMDEA Software han sido aceptadas en la 25th International Conferen...

El Instituto IMDEA Software se ha unido recientemente al proyecto 4Caast, un proyecto europeo en colaboración con Telefónica, SAP, France Telecom, Nokia, Bull, 2nd Quadrant, Flexiscale, Bonitasoft, y un número de instituciones académicas...

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_...

El Instituto IMDEA Software completa su mudanza a su nuevo edificio, terminado recientemente, obra del prestigioso estud...