The aim o f the LOPSTR series is to stimulate and promote in ternational research and collaboration on logic-ba sed program development. LOPSTR is open to contrib utions to logic-based program development in any p rogramming language paradigm. LOPSTR has a reputat ion for being a lively, friendly forum for present ing and discussing work in progress.
\nLOP STR 2025 will be held at the University of Calabri a, Rende, Italy. It will be co-located with ICLP 2 025 and PPDP 2025. Topics of interest include all aspects of logic-based program development, all st ages of the software life cycle, and issues of bot h programming-in-the-small and programming-in-the- large.
\nSubmissions can be m ade in two categories: Regular Papers (15 pages ma x.) and Short Papers (8 pages max.). Submissions m ust not substantially overlap with papers/tools th at have been published or that are simultaneously submitted to a journal, conference, or workshop wi th refereed proceedings.
\nSubmissions of Regular Papers must describe original work. Submis sions of Short Papers may include presentations of exciting if not fully polished research or tool d emonstrations that are of academic and industrial interest. Tool demonstrations should describe the relevant system, usability, and implementation asp ects of a tool. Survey papers that present some as pects of the above topics from a new perspective a nd papers that describe experience with industrial applications and case studies are also welcome.\n