LOPSTR 2025 — 35th International Symposium on Logic-Based Program Synthesis and Transformation

The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. LOPSTR 2025 will be held in-person at University of Calabria in Rende, Italy and will be co-located with PPDP 2025 and ICLP 2025.