Between September 9 and 19, 2025, researchers from IMDEA Software participated in several international logic programming conferences held at the University of Calabria, Italy: the 41st International Conference on Logic Programming (ICLP 2025), the 35th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2025), and the 27th International Symposium on Principles and Practice of Declarative Programming (PPDP 2025). At these events, they shared their advances in logic, formal verification, and declarative software development.
The IMDEA Software Institute team presented several of their works:
• At LOPSTR 2025, José F. Morales presented “Extending the FSyntax/Hiord Approach with Imperative Notation”, a research project also involving Manuel V. Hermenegildo, Pedro López-García, and Paula Corral.
• At ICLP 2025, Daniela Ferreiro](https://software.imdea.org/people/daniela.ferreiro/) presented her poster “Search-Guided Generation of Properties for Program Analyzers”.
• At the Prolog Educational Workshop at ICLP, Manuel Hermenegildo showcased improvements to the Ciao Prolog Playground and Active Logic Documents, web-based tools that facilitate the teaching of Prolog and classroom collaboration. This work also involved José F. Morales and Daniela Ferreiro.
• At the Prolog Improvement Proposals Workshop at ICLP, the team presented proposals on the definition of modes and terms with named arguments in Prolog.
• Finally, Marco Ciccalè presented “Hiord#: An Approach to the Specification and Verification of Higher-Order (C)LP Programs”, a paper also involving Daniel Jurjo-Rivas, José F. Morales, Pedro López-García, and Manuel V. Hermenegildo.
In addition, Daniela Ferreiro, Daniel Jurjo-Rivas, and Marco Ciccalè participated in the Logic Programming Contest, where they applied their knowledge to solving logic problems.
Their participation was made possible thanks to the MICIU CEX2024-001471-M María de Maeztu, TED2021-132464B-I00, EU Grant 101154447 NEAT, and support from the Tezos Foundation.
This work is part of the grant CEX2024-001471-M/funded by MICIU/AEI/10.13039/501100011033
This work has been partially supported by PRODIGY Project (TED2021-132464B-I00) funded by MCIN/AEI/10.13039/501100011033/ and the European Union NextGenerationEU/ PRTR
Co-funded by the European Union (GA 101154447). Views and opinions expressed are however those of the author(s) only and do not necessarily reflect those of the European Union or European Commission. Neither the European Union nor the granting authority can be held responsible for them.
