The IMDEA Software Institute

IMDEA Software Institute News

Dec 23, 2014: IMDEA Software Verifier Wins Gold Medals in International Competition

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

Dec 18, 2014: FI–PPP Liaison Demo Day

On 18 December 2014, the Madrid CLC of EIT ICT Labs at IMDEA Software Institute hosted the FI-PPP-Liaison Demo Day, with...

Dec 18, 2014: Winners of the PST Contest Visit The IMDEA Software Institute

On December 18, 2014, five students who won the contest at the EIT Digital Summer School in the field of Privacy, Securi...

Dec 17, 2014: EIT ICT Labs Masters School in ICT Innovation Presentation Event at IMDEA Software

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

Dec 11, 2014: Welcome Alessandra Gorla

It is our great pleasure to welcome Alessandra Gorla as IMDEA Software Institute’s newest Assistant Research Profe...

Nov 24, 2014: Joint EasyCrypt-F✱-CryptoVerif School

The Joint EasyCrypt-F✱-CryptoVerif School, which took place in Paris between 24 and 28 November 2014, attracted over 80 ...

Oct 27, 2014: Welcome Roberto Giacobazzi

It is our great pleasure to welcome Professor Roberto Giacobazzi of the University of Verona, Italy as an University of ...

Sep 1, 2014: EIT ICT Labs Idea Challenge

For the second time in this year, EIT ICT Labs calls ICT startups and innovators with entrepreneurial spirit to come up with "game changing" business visions.

Aug 26, 2014: Welcome Michael Ernst

It is our great pleasure to welcome Professor Michael Ernst of the University of Washington, USA as an University of Was...

Jul 4, 2014: Call for start-ups and SMEs for FIWARE-based demonstrators: 25,000 euros support per company

EIT Digital FI-WARE Deadline: The deadline to submit proposals is July 31st, 2014. In the last years the need for a mor...

Jun 16, 2014: Marie Curie Career Integration Grant awarded to IMDEA faculty

The IMDEA Software Institute has been awarded a Marie Curie Career Integration Grant by the People Programme (Marie Curi...

May 15, 2014: 2013 Annual Report Published

The IMDEA Software Institute has published its 2013 Annual Report.

Apr 4, 2014: 1st Microsoft Research - IMDEA Software Institute Collaboration Workshop (MICW 2014)

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.

Apr 3, 2014: Presentation of the Microsoft Research - IMDEA Software Joint Research Center

Microsoft Research and the IMDEA Software Institute officially presented their new Joint Research Center in Madrid.

Feb 17, 2014: Boris Köpf Awarded Microsoft Research Grant

Boris Köpf has been awarded a grant from the 2014 Microsoft Research Ph.D. Scholarship Program on the topic of “Reasonin...