IMDEA researchers publich 3 papers at prestigious venues for logic programming.
The Institute has two positions to work in the recently funded ElasTest Horizon 2020 project.
The IMDEA Software Institute participates in the European Researchers'
Night in Madrid 2016 with the activity “Sporty Science or ‘Sciencefull’ Sport”.
IMDEA Software Institute researchers publish 4 papers at ACM CCS for second year in a row.