Strong participation of the IMDEA Software Institute at the joint event of top conferences ICLP/CP/SAT

Strong participation of the IMDEA Software Institute at the joint event of top conferences ICLP/CP/SAT

September 1, 2017

Researchers of the IMDEA Software Institute have given several talks at the 33rd International Conference on Logic Programming (ICLP'17), that was co-located with the 23rd International Conference on Principles and Practice of Constraint Programming (CP'17), and the 20th International Conference on Theory and Applications of Satisfiability Testing (SAT'17), held on August 28 - September 1, 2017, in Melbourne, Australia. ICLP is the top international venue in the area of Logic Programming.

Finally, and as reported in separate news, Pedro López gave an invited talk at CICLOPS'17 and Pedro López and Manuel Hermenegildo gave an invited talk at ICLP'17, on occasion of the 10 year Test of Time Award received for their paper entitled “User-Definable Resource Bounds Analysis for Logic Programs”.

Picture 1