<div dir="ltr"><div dir="ltr"><div dir="ltr"><div>
<span id="m_2026237860196108228m_1790574151468469427gmail-docs-internal-guid-0d7b01de-7fff-1e64-6ca1-5eb3f61bced6"><p style="line-height:1.2;margin-top:0pt;margin-bottom:0pt"><span style="font-size:11pt;font-family:Aptos;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><i>[apologize for multiple postings]</i></span></p><p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt"><span style="font-size:11pt;font-family:Aptos;color:rgb(0,0,0);background-color:transparent;font-weight:700;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><br></span></p></span></div><div><br></div><div>35th International Symposium on Logic-Based Program Synthesis </div><div>and Transformation (LOPSTR 2025).</div><div><br></div>September 9-10, 2025 - University of Calabria, Rende, Italy<br><div><a href="https://lopstr.github.io/2025/" target="_blank">https://lopstr.github.io/2025/</a></div><div><br></div><div>
Part of ICLP 2025 and co-located with PPDP 2025

<br></div><div><a href="https://iclp25.demacs.unical.it/" target="_blank">https://iclp25.demacs.unical.it/</a></div><br><div><br></div><div># IMPORTANT DATES</div><div><br></div> - Abstract submission: May 9, 2025 (AoE)<br> - Paper submission: May 16, 2025 (AoE)<br> - Author notification: June 27, 2025 (AoE)<br> - Camera-ready: July 17, 2025 (AoE)<br> - Symposium: September 9-10, 2025<br><br># OVERVIEW<br><br>The aim of the LOPSTR series is to stimulate and promote international<br>research and collaboration on logic-based program development. LOPSTR<br>is open to contributions to logic-based program development in any<br>programming language paradigm. LOPSTR has a reputation for being a <br>lively, friendly forum for presenting and discussing work in progress.<br><br>LOPSTR 2025 will be held at the University of Calabria, Rende, Italy. <br>It will be co-located with ICLP 2025 and PPDP 2025. <br>At least one of the authors of an accepted <br>paper is expected to attend the conference and present the paper. <br>Information about venue and travel will be available on the ICLP 2025 <br>website.<br><br>Topics of interest include all aspects of logic-based program <br>development, all stages of the software life cycle, and issues of both <br>programming-in-the-small and programming-in-the-large, including, but<br>not limited to:<br><br> - synthesis<br> - transformation<br> - specialization<br> - inversion<br> - composition<br> - optimisation<br> - specification<br> - analysis and verification<br> - testing and certification<br> - program and model manipulation<br> - AI methods for program development<br> - verification and testing of AI-based systems<br> - transformational techniques in software engineering<br> - logic-based methods for security <br> - logic-based methods for cyber-physical and distributed systems<br> - applications, tools, and industrial practice<br><br>Survey papers that present some aspects of the above topics from a new<br>perspective and papers that describe experience with industrial<br>applications and case studies are also welcome.<br><br># PAPER SUBMISSION<br><br>Submissions can be made in two categories:<br><br> - Regular Papers (15 pages max.)<br> - Short Papers (8 pages max.)<br><br>References will NOT count towards the page limit. Additional pages may<br>be used for appendices not intended for publication. Reviewers are not<br>required to read the appendices, and thus papers should be intelligible<br>without them. All submissions must be written in English.<br><br>Submissions must not substantially overlap with papers/tools that have<br>been published or that are simultaneously submitted to a journal,<br>conference, or workshop with refereed proceedings.<br><br>Submissions of Regular Papers must describe original work. Work that <br>already appeared in unpublished or informally published workshop<br>proceedings may be submitted (please contact the PC Chairs in case of<br>questions). <br><br>Submissions of Short Papers may include presentations of exciting if<br>not fully polished research or tool demonstrations that are of<br>academic and industrial interest. Tool demonstrations should describe<br>the relevant system, usability, and implementation aspects of a tool.<br><br>All accepted papers will be included in the conference proceedings and<br>published by Springer as a Lecture Notes in Computer Science (LNCS)<br>volume.<br><br>After the symposium, a selection of a few best papers will be invited<br>for submission to rapid publication in the Journal of Theory and<br>Practice of Logic Programming (TPLP). Authors of selected papers will<br>be invited to revise and/or extend their submissions to be considered<br>for publication. The papers submitted to TPLP will be subject to the<br>journal's standard reviewing process.<br><br># SUBMISSION GUIDELINES<br><br>Authors should submit an electronic copy of the paper (written in<br>English) in PDF, formatted in the Lecture Notes in Computer Science<br>style. Each submission must include on its first page the paper title;<br>authors and their affiliations; contact author's email; abstract; and<br>three to four keywords which will be used to assist the PC in<br>selecting appropriate reviewers for the paper. Authors should consult<br>Springer's authors' instructions on the author's page, and use their<br>proceedings templates, either for LaTeX (available also in Overleaf)<br>or for Word, for the preparation of their papers. Springer encourages<br>authors to include their ORCIDs in their papers. In addition, upon<br>acceptance, the corresponding author of each paper, acting on behalf<br>of all of the authors of that paper, must complete and sign a<br>Consent-to-Publish form. The corresponding author signing the<br>copyright form should match the corresponding author marked on the<br>paper. Once the files have been sent to Springer, changes relating to<br>the authorship of the papers cannot be made.<br><br>Page numbers (and, if possible, line numbers) should appear on the<br>manuscript to help the reviewers in writing their report. So, for<br>LaTeX, we recommend that authors use:<br><br>\pagestyle{plain}<br>\usepackage{lineno}<br>\linenumbers<br><br>Papers should be submitted via EasyChair:<br><a href="https://easychair.org/conferences/?conf=lopstr2025" target="_blank">https://easychair.org/conferences/?conf=lopstr2025</a><br><br></div><div dir="ltr"><br></div><div dir="ltr"># PROGRAM CHAIRS<br><br>Santiago Escobar, Univesitat Politecnica de Valencia, Spain<br>Laura Titolo, Code Metal, USA<br><br># PUBLICITY CHAIR<br><br>Manuel Borroto, University of Calabria, Italy<br><br><br># HISTORY<br><br>LOPSTR is a renowned symposium that has been held for more than <br>30 years. The first meeting was held in Manchester, UK in 1991. <br>Information about previous symposia: <a href="http://lopstr.webs.upv.es/" target="_blank">http://lopstr.webs.upv.es/</a>. <br>You can find the contents of past LOPSTR symposia at DBLP<br>(<a href="https://dblp.uni-trier.de/db/conf/lopstr/index.html" target="_blank">https://dblp.uni-trier.de/db/conf/lopstr/index.html</a>) and past LNCS <br>proceedings at Springer (<a href="https://link.springer.com/conference/lopstr" target="_blank">https://link.springer.com/conference/lopstr</a>).<br><br><br></div>
</div>
</div>