The IMDEA Software Institute

IMDEA Software organizes ES_PASS Workshop on "Industrialization of Abstract Interpretation"

- Oct 28, 2009 -

Aleks Nanevski joins the Institute

- Oct 23, 2009 -

Pierre Ganty joins the Institute

- Sep 1, 2009 -

Laurent Mauborgne joins the Institute

- Aug 1, 2009 -

John Gallagher and Henning Christiansen win the "Best Paper Award" at ICLP'09

- Jul 14, 2009 -

AMAROUT Programme for Research Mobility Starts

- Apr 9, 2009 -

Anindya Banerjee joins IMDEA Software Institute

- Feb 1, 2009 -

Winning building design

- Jan 1, 2009 -