| 2026 | Logic-Based Program Synthesis and Transformation - 35th International Symposium, LOPSTR 2025, Rende, Italy, September 9-10, 2025, Proceedings Santiago Escobar, Laura Titolo |
| 2025 | A Completion Procedure for Equational Rewriting Systems with Binders. Maribel Fernández, Daniele Nantes-Sobrinho, Daniella Santaguida |
| 2025 | Automated Certification of Logic Program Groundness Analysis. Thierry Marianne, Fred Mesnard, Étienne Payet |
| 2025 | Characterizing Equivalence of Logically Constrained Terms via Existentially Constrained Terms. Kanta Takahata, Jonas Schöpf, Naoki Nishida, Takahito Aoto |
| 2025 | CurryInfo: Managing Analysis and Verification Information about Curry Packages. Michael Hanus |
| 2025 | Extending the FSyntax/Hiord Approach with Imperative Notation. Paula Corral, José F. Morales, Pedro López-García, Manuel V. Hermenegildo |
| 2025 | Focusing Recursive LLM Descents with Plans Expressed as Logic Programs. Paul Tarau |
| 2025 | Higher-Order Pattern Unification Modulo Similarity Relations. Besik Dundua, Temur Kutsia |
| 2025 | Implementing a Many-Valued Semantics for Logic Programs with Ordered Disjunction Using ASP. Angelos Charalambidis, Georgios Nikolaou, Antonis Troumpoukis |
| 2025 | Natural Language to Logica: Towards Interactive and Explainable Data Analytics. Ojaswa Garg, Shayan Mirjafari, Yilin Xia, Shawn Bowers, Bertram Ludäscher, Evgeny S. Skvortsov |
| 2025 | Program Synthesis for Geometric Modeling. Romain Pascual, Pascale Le Gall, Hakim Belhaouari, Agnès Arnould |
| 2025 | Recurrent Pairs Revisited. Étienne Payet |
| 2025 | Symbolic Computation and Verification Methods in Maude. José Meseguer |
| 2025 | Verifying Smart Contracts in Yul via Transformation to CHC by Interpreter Specialization. Elvira Albert, Emanuele De Angelis, Fabio Fioravanti, Alejandro Hernández-Cerezo, Giulia Matricardi |