Noticias del Instituto IMDEA Software
El verificador SMACK+Corral, nacido de una colaboración entre Instituto IMDEA Software, La Univerisidad de Utah, y Instituto IMDEA Software, gha sido premiado con 4 medallas en el 4th International Competition on Software Verification (SV-COMP 2015).
El 18 de diciembre de 2014, en el CLC de EIT ICT Labs en Madrid en el Instituto IMDEA Software, ha tenido lugar la prese...
El 18 de Diciembre de 2014, cinco estudiantes ganadores del concurso sobre Privacidad, Seguridad y Confianza, organizado...
El Instituto IMDEA Software organizó
un evento en el CLC de Madrid de Instituto IMDEA Software para promover la
Escuela de Máster en Innovación en ICT de EIT ICT Labs
y su oferta de programas de posgrado.
Estamos encantados de dar la bienvenida a Alessandra Gorla como nueva Assistant Research Professor en el Instituto IMDEA...
The Joint EasyCrypt-F✱-CryptoVerif School, which took place in Paris between 24 and 28 November 2014, attracted over 80 ...
Estamos encantados de dar la bienvenida al Profesor Roberto Giacobazzi, de la Universidad de Verona, Italia, como profes...
Por segunda vez en este año, EIT ICT Labs convoca a startups y emprendedores para su concurso de ideas de negocio relacionadas con ideas de innovación.
Estamos encantados de dar la bienvenida el Profesor Michael Ernst de la Universidad de Washington, EE.UU., como profesor...
EIT Digital FI-WARE Fecha límite: 31 de Julio de 2014.
En los últimos años está surgiendo una nueva generación de Inter...
The IMDEA Software Institute has been awarded a Marie Curie Career Integration Grant by the People Programme (Marie Curi...
El Instituto IMDEA Software ha publicado su informe anual 2013.
The first Workshop of the Joint Research Center between Microsoft Research and the IMDEA Software Institute, Madrid took place April 2–4, 2014, at the IMDEA Software building in Madrid.
Microsoft Research y el
Instituto IMDEA Software presentaron oficialmente su nuevo Centro
Conjunto de Investigación en Madrid.
Boris Köpf ha obtenido una proyecto de investigación del programa de financiación de doctorados de Microsoft Research, s...
