The IMDEA Software Institute

IMDEA Software Verifier Wins Gold Medals in International Competition

IMDEA Software Verifier Wins Gold Medals in International Competition

- Dec 23, 2014 -

FI–PPP Liaison Demo Day

- Dec 18, 2014 -

Winners of the PST Contest Visit The IMDEA Software Institute

- Dec 18, 2014 -

EIT ICT Labs Masters School in ICT Innovation Presentation Event at IMDEA Software

EIT ICT Labs Masters School in ICT Innovation Presentation Event at IMDEA Software

- Dec 17, 2014 -

Welcome Alessandra Gorla

- Dec 11, 2014 -

Joint EasyCrypt-F✱-CryptoVerif School

- Nov 24, 2014 -

Welcome Roberto Giacobazzi

- Oct 27, 2014 -

EIT ICT Labs Idea Challenge

- Sep 1, 2014 -

Welcome Michael Ernst

- Aug 26, 2014 -

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

- Jul 4, 2014 -

Marie Curie Career Integration Grant awarded to IMDEA faculty

- Jun 16, 2014 -

2013 Annual Report Published

- May 15, 2014 -

1st Microsoft Research - IMDEA Software Institute Collaboration Workshop (MICW 2014)

- Apr 4, 2014 -

Presentation of the Microsoft Research - IMDEA Software Joint Research Center

- Apr 3, 2014 -

Boris Köpf Awarded Microsoft Research Grant

- Feb 17, 2014 -