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 to logic-based program development in any programming language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress.

LOPSTR 2025 will be held at the University of Calabria, Rende, Italy. It will be co-located with ICLP 2025 and PPDP 2025. At least one of the authors of an accepted paper is expected to attend the conference and present the paper. Information about venue and travel will be available on the ICLP 2025 website.

Topics of interest include all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large, including, but not limited to:

    synthesis
    transformation
    specialization
    inversion
    composition
    optimization
    specification
    analysis and verification
    testing and certification
    program and model manipulation
    AI methods for program development
    verification and testing of AI-based systems
    transformational techniques in software engineering
    logic-based methods for security
    logic-based methods for cyber-physical and distributed systems
    applications, tools, and industrial practice

Survey papers that present some aspects of the above topics from a new perspective and papers that describe experience with industrial applications and case studies are also welcome.