<div dir="ltr"><br>** Apologies for cross-posting**<br><br>----------------------------------------------------------------<br>33rd International Symposium on Logic-based Program Synthesis and<br>Transformation (LOPSTR 2023)<br>Co-located with PPDP 2023 as part of SPLASH 2023<br><br>October 23-24, 2023 - Cascais (Lisbon), Portugal<br><br><a href="https://lopstr.github.io/2023/">https://lopstr.github.io/2023/</a><br><br>----------------------------------------------------------------<br><br>Important dates:<br> - Abstract submission: May 19, 2023 (AoE)<br> - Paper submission: May 26, 2023 (AoE)<br> - Author notification: July 24, 2023 (AoE)<br> - Camera-ready: August 18, 2023 <br> - Symposium: October 23-24, 2023<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 in logic-based program development in any<br>language paradigm. LOPSTR has a reputation for being a lively,<br>friendly forum for presenting and discussing work in progress.<br><br>LOPSTR 2023 will be held in-person at Hotel Cascais Miragem in<br>Cascais, Lisbon, Portugal and will be co-located with PPDP 2023 as<br>part of SPLASH 2023. At least one of the authors of the accepted paper<br>is expected to attend the conference and present the paper. Information<br>about venue and travel is available on the SPLASH 2023 website.<br><br>Topics of interest cover 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, cyber-physical and distributed<br>   system<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 do 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<br>intelligible 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 the original work. Work<br>that already appeared in unpublished or informally published workshop<br>proceedings may be submitted (please contact the PC chair in case of<br>questions).<br><br>Submissions of Short Papers may include presentations of exciting if<br>not fully polished research and 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>standard reviewing process of the journal.<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 at 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=lopstr2023">https://easychair.org/conferences/?conf=lopstr2023</a><br><br>BEST PAPER AWARD<br><br>Thanks to Springer's sponsorship, two best paper awards (one for each<br>submission category), with a 500 EUR prize, will be given at LOPSTR<br>2023. The program committee will select the winning papers based on<br>relevance, originality and technical quality but may also take<br>authorship into account (e.g. a student paper).<br><br>PROGRAM CHAIRS<br><br>Robert Glück, University of Copenhagen, Denmark<br>Bishoksan Kafle, IMDEA Software Institute, Spain<br><br>PUBLICITY CHAIR<br><br>Daniel Jurjo Rivas, IMDEA Software Institute, Spain<br><br>PROGRAM COMMITTEE MEMBERS<br><br>Slim Abdennadher, German International University, Egypt<br>José Júlio Alferes, Universidade Nova de Lisboa, Portugal<br>Roberto Amadini, University of Bologna, Italy<br>William Byrd, University of Alabama at Birmingham, USA<br>Michael Codish, Ben-Gurion University of the Negev, Israel<br>Gregory Duck, National University of Singapore, Singapore<br>Isabel García-Contreras, University of Waterloo, Canada<br>Ashutosh Gupta, IIT Bombay, India<br>Gopal Gupta, The University of Texas at Dallas, USA<br>Michael Hanus, University of Kiel, Germany<br>Temesghen Kahsai, Amazon, USA<br>Maja Hanne Kirkeby, Roskilde University, Denmark<br>Michael Leuschel, Heinrich Heine University Düsseldorf, Germany<br>Nai-Wei Lin, National Chung Cheng University, Taiwan<br>Fred Mesnard, University of Reunion, France<br>José F. Morales, IMDEA Software Institute, Spain<br>Carlos Olarte, Universitè Sorbonne Paris Nord, France<br>Alberto Pettorossi, Università di Roma Tor Vergata, Italy<br>Christoph Reichenbach, Lund University, Sweden<br>Peter Schachte, The University of Melbourne, Australia<br>Helge Spieker, Simula Research Laboratory, Norway<br>Theresa Swift, Universidade Nova de Lisboa, Portugal<br>Laura Titolo, National Institute of Aerospace, USA<br>Kazunori Ueda, Waseda University, Japan<br>Germán Vidal, Universitat Politècnica de València, Spain<br>Nisansala Yatapanage, Australian National University, Australia<br>Florian Zuleger, Vienna University of Technology, Austria<br><br>HISTORY<br><br>LOPSTR is a renowned symposium that has been held for more than 30<br>years.  The first meeting was held in Manchester, UK in<br>1991. Information about previous symposia:<br><a href="http://lopstr.webs.upv.es/">http://lopstr.webs.upv.es/</a>. You might have a look at the contents of<br>past LOPSTR symposia at DBLP<br>(<a href="https://dblp.uni-trier.de/db/conf/lopstr/index.html">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">https://link.springer.com/conference/lopstr</a>).<br><div><br></div><span class="gmail_signature_prefix">-- </span><br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><h6>Self-knowing is not achieved by the fastest unconscious runner, but by those who just keep running consciously.<br></h6></div></div></div>