Entre el 9 y el 19 de septiembre de 2025, investigadores de IMDEA Software participaron en varias conferencias internacionales de programación lógica celebradas en la Universidad de Calabria, Italia: El 41st International Conference on Logic Programming (ICLP 2025), el 35th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2025) y el 27th International Symposium on Principles and Practice of Declarative Programming (PPDP 2025). En estos eventos pudieron compartir sus avances en lógica, verificación formal y desarrollo de software declarativo.
El equipo de IMDEA Software presentó varios de sus trabajos:
• En LOPSTR 2025, José F. Morales presentó “Extending the FSyntax/Hiord Approach with Imperative Notation”, investigación en la que también colaboraron Manuel V. Hermenegildo, Pedro López-García y Paula Corral
• En ICLP 2025, Daniela Ferreiro presentó su póster “Search-Guided Generation of Properties for Program Analyzers”.
• En el Prolog Educational Workshop del ICLP, Manuel V. Hermenegildo mostró mejoras en el Ciao Prolog Playground y los Active Logic Documents, herramientas web que facilitan la enseñanza de Prolog y la colaboración en el aula. En este trabajo también colaboraron José F. Morales y Daniela Ferreiro.
• En el Prolog Improvement Proposals Workshop del ICLP, el equipo presentó propuestas para la definición de modos y términos con argumentos nombrados en Prolog.
• Finalmente, Marco Ciccalè presentó “Hiord#: An Approach to the Specification and Verification of Higher-Order (C)LP Programs”, artículo en el que también participaron Daniel Jurjo-Rivas, Jose F. Morales, Pedro Lopez-Garcia y Manuel V. Hermenegildo.
Además, Daniela Ferreiro, Daniel Jurjo-Rivas y Marco Ciccalè participaron en el Logic Programming Contest, donde pudieron poner en práctica sus conocimientos en resolución de problemas lógicos.
Su participación fue posible gracias a los proyectos MICIU CEX2024-001471-M María de Maeztu, TED2021-132464B-I00, la EU Grant 101154447 NEAT y el apoyo de la 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.
