IMDEA initiative

news & events

Feb 18, 2015

Last Wednesday, February 18th, the General Director for Universities and Research of the Madrid Regional Government, visited the premises of IMDEA Software Institute.

Feb 10, 2015

Four papers by IMDEA Software Institute researchers have been accepted for publication at Symposium on Security and Privacy, a top-ranked conference in this important area.

Dec 23, 2014

The SMACK+Corral software verifier, a collaboration between IMDEA Software Institute, the University of Utah, and Microsoft Research, has been awarded 4 medals in the 4th International Competition on Software Verification (SV-COMP 2015).

Dec 17, 2014

IMDEA Software Institute organized an outreach event at the EIT ICT Labs Madrid CLC to promote the EIT ICT Labs Master School in ICT Innovation and its offer of post-graduate programs.