Pedro López y Manuel Hermenegildo han dado una charla invitada plenaria en el Trigésimo Tercer Congreso Internacional de Programación Lógica (ICLP'17, el foro más importante del área) sobre su artículo “Análisis de Cotas de Consumo de Recursos Definibles por el Usuario en Programas Lógicos”, que recibió el premio “Prueba del Tiempo” como reconocimiento al artículo publicado hace 10 años que ha tenido el mayor impacto. La charla describió las contribuciones del artículo, sus aplicaciones, y como se ha extendido, mejorado y generalizado a lo largo de los últimos 10 años.
Esta edición de ICLP se ha celebrado en Melbourne, Australia, del 28 de agosto al 1 de septiembre de 2017, conjuntamente con los congresos internacionales de primer nivel CP'17 y SAT'17.
