
<html><head><meta http-equiv="content-type" content="text/html; charset=us-ascii"></head><body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div><font face="Courier New">35th International Symposium on Logic-Based Program Synthesis </font></div><div><font face="Courier New">and Transformation (LOPSTR 2025).</font></div><div><font face="Courier New">Part of ICLP 2025 and co-located with PPDP 2025</font></div><div><font face="Courier New"><br></font></div><div><font face="Courier New">September 9-10, 2025 - Rende, Italy</font></div><div><font face="Courier New"><br></font></div><div><font face="Courier New"><a href="https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Flopstr.github.io%2F2025%2F&data=05%7C02%7Cfm-announcements%40lists.nasa.gov%7Cb90f4ab265684be3ae2908dd54eae55b%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C638760091244334523%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C40000%7C%7C%7C&sdata=31Q1n%2BCaOdSrnvihrL5uN6Ik4GNAW6SaY3UMVDc6rQM%3D&reserved=0" originalSrc="https://lopstr.github.io/2025/">https://lopstr.github.io/2025/</a></font></div><div><font face="Courier New"><br></font></div><div><font face="Courier New">Important dates:</font></div><div><font face="Courier New"> - Abstract submission: May 9, 2025 (AoE)</font></div><div><font face="Courier New"> - Paper submission: May 16, 2025 (AoE)</font></div><div><font face="Courier New"> - Author notification: June 27, 2025 (AoE)</font></div><div><font face="Courier New"> - Camera-ready: July 17, 2025 (AoE)</font></div><div><font face="Courier New"> - Symposium: September 9-10, 2025</font></div><div><font face="Courier New"><br></font></div><div><font face="Courier New">OVERVIEW</font></div><div><font face="Courier New"><br></font></div><div><font face="Courier New">The aim of the LOPSTR series is to stimulate and promote international</font></div><div><font face="Courier New">research and collaboration on logic-based program development. LOPSTR</font></div><div><font face="Courier New">is open to contributions to logic-based program development in any</font></div><div><font face="Courier New">programming language paradigm. LOPSTR has a reputation for being a </font></div><div><font face="Courier New">lively, friendly forum for presenting and discussing work in progress.</font></div><div><font face="Courier New"><br></font></div><div><font face="Courier New">LOPSTR 2025 will be held at the University of Calabria, Rende, Italy. </font></div><div><font face="Courier New">It will be co-located with ICLP 2025 and PPDP 2025. </font></div><div><font face="Courier New">At least one of the authors of an accepted </font></div><div><font face="Courier New">paper is expected to attend the conference and present the paper. </font></div><div><font face="Courier New">Information about venue and travel will be available on the ICLP 2025 </font></div><div><font face="Courier New">website.</font></div><div><font face="Courier New"><br></font></div><div><font face="Courier New">Topics of interest include all aspects of logic-based program </font></div><div><font face="Courier New">development, all stages of the software life cycle, and issues of both </font></div><div><font face="Courier New">programming-in-the-small and programming-in-the-large, including, but</font></div><div><font face="Courier New">not limited to:</font></div><div><font face="Courier New"><br></font></div><div><font face="Courier New"> - synthesis</font></div><div><font face="Courier New"> - transformation</font></div><div><font face="Courier New"> - specialization</font></div><div><font face="Courier New"> - inversion</font></div><div><font face="Courier New"> - composition</font></div><div><font face="Courier New"> - optimisation</font></div><div><font face="Courier New"> - specification</font></div><div><font face="Courier New"> - analysis and verification</font></div><div><font face="Courier New"> - testing and certification</font></div><div><font face="Courier New"> - program and model manipulation</font></div><div><font face="Courier New"> - AI methods for program development</font></div><div><font face="Courier New"> - verification and testing of AI-based systems</font></div><div><font face="Courier New"> - transformational techniques in software engineering</font></div><div><font face="Courier New"> - logic-based methods for security </font></div><div><font face="Courier New"> - logic-based methods for cyber-physical and distributed systems</font></div><div><font face="Courier New"> - applications, tools, and industrial practice</font></div><div><font face="Courier New"><br></font></div><div><font face="Courier New">Survey papers that present some aspects of the above topics from a new</font></div><div><font face="Courier New">perspective and papers that describe experience with industrial</font></div><div><font face="Courier New">applications and case studies are also welcome.</font></div><div><font face="Courier New"><br></font></div><div><font face="Courier New">PAPER SUBMISSION</font></div><div><font face="Courier New"><br></font></div><div><font face="Courier New">Submissions can be made in two categories:</font></div><div><font face="Courier New"><br></font></div><div><font face="Courier New"> - Regular Papers (15 pages max.)</font></div><div><font face="Courier New"> - Short Papers (8 pages max.)</font></div><div><font face="Courier New"><br></font></div><div><font face="Courier New">References will NOT count towards the page limit. Additional pages may</font></div><div><font face="Courier New">be used for appendices not intended for publication. Reviewers are not</font></div><div><font face="Courier New">required to read the appendices, and thus papers should be intelligible</font></div><div><font face="Courier New">without them. All submissions must be written in English.</font></div><div><font face="Courier New"><br></font></div><div><font face="Courier New">Submissions must not substantially overlap with papers/tools that have</font></div><div><font face="Courier New">been published or that are simultaneously submitted to a journal,</font></div><div><font face="Courier New">conference, or workshop with refereed proceedings.</font></div><div><font face="Courier New"><br></font></div><div><font face="Courier New">Submissions of Regular Papers must describe original work. Work that </font></div><div><font face="Courier New">already appeared in unpublished or informally published workshop</font></div><div><font face="Courier New">proceedings may be submitted (please contact the PC Chairs in case of</font></div><div><font face="Courier New">questions). </font></div><div><font face="Courier New"><br></font></div><div><font face="Courier New">Submissions of Short Papers may include presentations of exciting if</font></div><div><font face="Courier New">not fully polished research or tool demonstrations that are of</font></div><div><font face="Courier New">academic and industrial interest. Tool demonstrations should describe</font></div><div><font face="Courier New">the relevant system, usability, and implementation aspects of a tool.</font></div><div><font face="Courier New"><br></font></div><div><font face="Courier New">All accepted papers will be included in the conference proceedings and</font></div><div><font face="Courier New">published by Springer as a Lecture Notes in Computer Science (LNCS)</font></div><div><font face="Courier New">volume.</font></div><div><font face="Courier New"><br></font></div><div><font face="Courier New">After the symposium, a selection of a few best papers will be invited</font></div><div><font face="Courier New">for submission to rapid publication in the Journal of Theory and</font></div><div><font face="Courier New">Practice of Logic Programming (TPLP). Authors of selected papers will</font></div><div><font face="Courier New">be invited to revise and/or extend their submissions to be considered</font></div><div><font face="Courier New">for publication. The papers submitted to TPLP will be subject to the</font></div><div><font face="Courier New">journal's standard reviewing process.</font></div><div><font face="Courier New"><br></font></div><div><font face="Courier New">SUBMISSION GUIDELINES</font></div><div><font face="Courier New"><br></font></div><div><font face="Courier New">Authors should submit an electronic copy of the paper (written in</font></div><div><font face="Courier New">English) in PDF, formatted in the Lecture Notes in Computer Science</font></div><div><font face="Courier New">style. Each submission must include on its first page the paper title;</font></div><div><font face="Courier New">authors and their affiliations; contact author's email; abstract; and</font></div><div><font face="Courier New">three to four keywords which will be used to assist the PC in</font></div><div><font face="Courier New">selecting appropriate reviewers for the paper. Authors should consult</font></div><div><font face="Courier New">Springer's authors' instructions on the author's page, and use their</font></div><div><font face="Courier New">proceedings templates, either for LaTeX (available also in Overleaf)</font></div><div><font face="Courier New">or for Word, for the preparation of their papers. Springer encourages</font></div><div><font face="Courier New">authors to include their ORCIDs in their papers. In addition, upon</font></div><div><font face="Courier New">acceptance, the corresponding author of each paper, acting on behalf</font></div><div><font face="Courier New">of all of the authors of that paper, must complete and sign a</font></div><div><font face="Courier New">Consent-to-Publish form. The corresponding author signing the</font></div><div><font face="Courier New">copyright form should match the corresponding author marked on the</font></div><div><font face="Courier New">paper. Once the files have been sent to Springer, changes relating to</font></div><div><font face="Courier New">the authorship of the papers cannot be made.</font></div><div><font face="Courier New"><br></font></div><div><font face="Courier New">Page numbers (and, if possible, line numbers) should appear on the</font></div><div><font face="Courier New">manuscript to help the reviewers in writing their report. So, for</font></div><div><font face="Courier New">LaTeX, we recommend that authors use:</font></div><div><font face="Courier New"><br></font></div><div><font face="Courier New">\pagestyle{plain}</font></div><div><font face="Courier New">\usepackage{lineno}</font></div><div><font face="Courier New">\linenumbers</font></div><div><font face="Courier New"><br></font></div><div><font face="Courier New">Papers should be submitted via EasyChair:</font></div><div><font face="Courier New"><a href="https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dlopstr2025&data=05%7C02%7Cfm-announcements%40lists.nasa.gov%7Cb90f4ab265684be3ae2908dd54eae55b%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C638760091244347237%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C40000%7C%7C%7C&sdata=GXZLIsYfVwyRCIVWKMeFlG92GfKfcziIwVvAPEBz7Uc%3D&reserved=0" originalSrc="https://easychair.org/conferences/?conf=lopstr2025">https://easychair.org/conferences/?conf=lopstr2025</a></font></div><div><font face="Courier New"><br></font></div><div><font face="Courier New">PROGRAM CHAIRS</font></div><div><font face="Courier New"><br></font></div><div><font face="Courier New">Santiago Escobar, Univesitat Politecnica de Valencia, Spain</font></div><div><font face="Courier New">Laura Titolo, Code Metal, USA</font></div><div><font face="Courier New"><br></font></div><div><font face="Courier New">PUBLICITY CHAIR</font></div><div><font face="Courier New"><br></font></div><div><font face="Courier New">Manuel Borroto, University of Calabria, Italy</font></div><div><font face="Courier New"><br></font></div><div><font face="Courier New"><br></font></div><div><font face="Courier New">HISTORY</font></div><div><font face="Courier New"><br></font></div><div><font face="Courier New">LOPSTR is a renowned symposium that has been held for more than </font></div><div><font face="Courier New">30 years. The first meeting was held in Manchester, UK in 1991. </font></div><div><font face="Courier New">Information about previous symposia: <a href="https://gcc02.safelinks.protection.outlook.com/?url=http%3A%2F%2Flopstr.webs.upv.es%2F&data=05%7C02%7Cfm-announcements%40lists.nasa.gov%7Cb90f4ab265684be3ae2908dd54eae55b%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C638760091244358763%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C40000%7C%7C%7C&sdata=JUKqsUFlZcrNErcziz58Z0fb9t17q4zX05g6CDR1caY%3D&reserved=0" originalSrc="http://lopstr.webs.upv.es/">http://lopstr.webs.upv.es/</a>. </font></div><div><font face="Courier New">You can find the contents of past LOPSTR symposia at DBLP</font></div><div><font face="Courier New">(<a href="https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fdblp.uni-trier.de%2Fdb%2Fconf%2Flopstr%2Findex.html&data=05%7C02%7Cfm-announcements%40lists.nasa.gov%7Cb90f4ab265684be3ae2908dd54eae55b%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C638760091244369944%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C40000%7C%7C%7C&sdata=ol5DUOt95jhzudpVTUlHfhKUr5e0by3fpAH26acA%2BRU%3D&reserved=0" originalSrc="https://dblp.uni-trier.de/db/conf/lopstr/index.html">https://dblp.uni-trier.de/db/conf/lopstr/index.html</a>) and past LNCS </font></div><div><font face="Courier New">proceedings at Springer (<a href="https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Flink.springer.com%2Fconference%2Flopstr&data=05%7C02%7Cfm-announcements%40lists.nasa.gov%7Cb90f4ab265684be3ae2908dd54eae55b%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C638760091244381181%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C40000%7C%7C%7C&sdata=Qi5g7NrcyK03bm8N8g0%2FO4vylU9BBm85vwvQcXBr8G8%3D&reserved=0" originalSrc="https://link.springer.com/conference/lopstr">https://link.springer.com/conference/lopstr</a>).</font></div></body></html>