3 papers by IMDEA researchers published at ICLP 2016 and DC-ICLP 2016
October 21, 2016
Researchers at the IMDEA Software Institute presented two papers at the 32nd International Conference on Logic Programming (ICLP’16), held in...
[ Read More ]
Sporty Science or “Sciencefull” Sport in the European Researchers’ Night of Madrid 2016
October 20, 2016
One more year, the researchers of the IMDEA Institutes joined the celebration of the European Researchers' Night of Madrid, a...
[ Read More ]
Postdoc and PhD positions available in Security and Runtime Verification
October 18, 2016
The IMDEA Software Institute invites applications for 2 positions to work in the recently funded ElasTest Horizon 2020 project. One...
[ Read More ]
Manuel Carro, PC Co-Chair of ICLP’16
October 17, 2016
Manuel Carro, deputy director of the IMDEA Software Institute, is the PC Co-Chair of 2016 International Conference on Logic Programming...
[ Read More ]
