Los investigadores del Instituto IMDEA Software han tenido una importante participación en el Trigésimo Tercer Congreso Internacional de Programación Lógica (ICLP'17), celebrado en Melbourne, Australia, del 28 de agosto al 1 de septiembre de 2017, conjuntamente con el Vigésimo Tercer Congreso Internacional de Principios y Práctica de la Programación con Restricciones (CP'17) y el Vigésimo Congreso Internacional de Teoría y Aplicaciones de Pruebas de Satisfacción (SAT'17). ICLP es el evento de primer nivel internacional en el área de Programación Lógica.
Dos investigadores del Instituto, Manuel Carro y Manuel Hermenegildo, formaron parte del comité de programa.
Manuel Hermenegildo dio, conjuntamente con Pascal Van Hentenryck, una charla plenaria de ICLP/CP/SAT dedicada a las contribuciones de Alain Colmerauer, el creador del lenguaje de programación Prolog y uno de los fundadores del área de la programación con restricciones, quien falleció la primavera pasada.
Nataliia Stulova presentó en ICLP su trabajo conjunto con José Francisco Morales y Manuel Hermenegildo titulado “Towards Run-time Checks Simplification via Term Hiding”, que presenta una técnica para reducir el coste de técnicas de verificación en tiempo de ejecución en varios órdenes de magnitud basado en la consideración de las reglas de visibilidad de términos durante la instrumentación del programa con comprobacines en tiempo de ejecución.
El Decimoquinto Coloquio International sobre Implementación de Sistemas de Programación Lógica y con Restricciones (CICLOPS'17), celebrado también conjuntamente con ICLP/CP/SAT, fue co-organizado por Nataliia Stulova y José Francisco Morales, quien además lo presidió.
Nataliia Stulova presentó también una descripción de la investigación de su tesis doctoral titulada “On Improving Run-time Checking in Dynamic Languages” en el ICLP/CP/SAT Doctoral Program, que se publicará en las “ICLP'17 Technical Communications” (volumen 58) en la serie OASIcs, editada por Dagstuhl.
Finalmente, y como aparece en noticias separadas, Pedro López dió una charla invitada en CICLOPS'17 y Pedro López y Manuel Hermenegildo dieron una charla invitada en ICLP con motivo del premio de la “Prueba del Tiempo” con el que fue galardonado su articulo titulado “Análisis de Cotas de Consumo de Recursos Definibles por el Usuario en Programas Lógicos”.
