Gilles Barthe gives Keynote address at ETAPS 2013
March 20, 2013
Gilles Barthe has given one of the two plenary Keynote addresses at ETAPS 2013, presenting his work on Computer-aided Cryptographic...
[ Read More ]
5 papers by IMDEA researchers accepted at CAV 2013
March 6, 2013
Researchers at the IMDEA Software Institute have 5 papers accepted for publication at the 25th International Conference on Computer Aided...
[ Read More ]
IMDEA Software joins 4Caast European project
March 5, 2013
The IMDEA Software Institute has recently joined 4Caast, a 39 month-long European project in collaboration with Telefonica, SAP, France Telecom,...
[ Read More ]
