[Seminaire-LRDE] Subject: Mercredi 27 janvier 2016: Pierre-Yves Strub -- IMDEA Software Institute - Espagne