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 ]
Una ciencia muy deportiva o Un deporte muy científico en la Noche Europea de los Investigadores de Madrid 2016
October 20, 2016
Un año más los investigadores de los Institutos IMDEA se sumaron a la celebración de La Noche Europea de los...
[ 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 ]
