Ciao, the team of Manuel Hermenegildo, Distinguished Professor PhD at the IMDEA Software Institute, participated in the XXV Conference on Programming and Languages (PROLE 2026), recently held in Alicante from June 16 to 18. Among the attendees from the center were César Sánchez, Research Professor at IMDEA Software; Margarita Capretto, Marco Ciccalè, Daniel Jurjo and Daniela Ferreiro, PhD researchers at IMDEA Software.
This year’s edition of PROLE spotlighted Daniela Ferreiro, who won the award for best presentation at the conference for her exposition of the paper “Multi-Configurable Search Rules in Prolog and Application to Testing”. This research was developed alongside José Francisco Morales, Pedro López-García, and Manuel Hermenegildo.
In addition to this recognition, the team of researchers from IMDEA Software presented the work carried out at the institute across various talks. Marco Ciccalè presented “Hiord#: An Approach to the Specification and Verification of Higher-Order (C)LP Programs”. Margarita Capretto presented her paper “Future Monitors in Optimistic Rollups”. César Sánchez presented “Maximum Realizability for LTL Modulo Theories”. Finally, Manuel Hermenegildo demonstrated the latest features of the web environment with “Demonstrating the Ciao Prolog Playground”.
