Ciao, el equipo de Manuel Hermenegildo, Distinguished Professor PhD del Instituto IMDEA Software, participó en las XXV Jornadas de Programación y Lenguajes (PROLE 2026), celebradas recientemente en Alicante del 16 al 18 de junio. Entre los asistentes del centro se encontraban César Sánchez, Research Professor de IMDEA Software; Margarita Capretto, Marco Ciccalè, Daniel Jurjo y Daniela Ferreiro, investigadores PhD de IMDEA Software.
La edición de PROLE de este año estuvo protagonizada por Daniela Ferreiro, quien se llevó el premio a la mejor presentación del congreso por su exposición del trabajo “Multi-Configurable Search Rules in Prolog and Application to Testing”. Esta investigación ha sido desarrollada junto a José Francisco Morales, Pedro López-García y Manuel Hermenegildo.
Además de este reconocimiento, el equipo de investigadores de IMDEA Software presentó sus trabajos realizados en el instituto a lo largo de diversas ponencias. Marco Ciccalè presentó “Hiord#: An Approach to the Specification and Verification of Higher-Order (C)LP Programs”. Margarita Capretto expuso su trabajo “Future Monitors in Optimistic Rollups”. César Sánchez, presentó “Maximum Realizability for LTL Modulo Theories”. Finalmente, Manuel Hermenegildo mostró las novedades del entorno web con “Demonstrating the Ciao Prolog Playground”.
