IMDEA Software Verifier Wins Gold Medals in International Competition
December 23, 2014
The International Competition on Software Verification (SV-COMP) is a driving force for the invention of new methods, technologies, and tools...
[ Read More ]
FI–PPP Liaison Demo Day
December 18, 2014
On 18 December 2014, the Madrid CLC of EIT ICT Labs at IMDEA Software Institute hosted the FI-PPP-Liaison Demo Day,...
[ Read More ]
Winners of the PST Contest Visit The IMDEA Software Institute
December 18, 2014
On December 18, 2014, five students who won the contest at the EIT Digital Summer School in the field of...
[ Read More ]
EIT ICT Labs Masters School in ICT Innovation Presentation Event at IMDEA Software
December 17, 2014
On December 17, 2014, the IMDEA Software Institute organized an outreach event at the EIT Digital Madrid CLC to present...
[ Read More ]
Welcome Alessandra Gorla
December 11, 2014
It is our great pleasure to welcome Alessandra Gorla as IMDEA Software Institute’s newest Assistant Research Professor. Alessandra’s doctoral dissertation from...
[ Read More ]
