<!DOCTYPE html>
<html>
  <head>

    <meta http-equiv="content-type" content="text/html; charset=UTF-8">
  </head>
  <body vlink="#551A8B" text="#131313" link="#0B6CDA" bgcolor="#feffff"
    alink="#EE0000">
    <p>** Apologies for multiple postings **<br>
      <br>
      34th International Symposium on Logic-Based Program Synthesis <br>
      and Transformation (LOPSTR 2024).<br>
      Part of FM 2024 and co-located with PPDP 2024, FACS 2024, FMICS
      2024, <br>
      and TAP 2024.<br>
      <br>
      September 9-11, 2024 - Milan, Italy<br>
      <br>
      <a class="moz-txt-link-freetext" href="https://lopstr.github.io/2024/">https://lopstr.github.io/2024/</a><br>
      <br>
      Important dates:<br>
       - Abstract submission: May 15, 2024 (AoE)<br>
       - Paper submission: May 19, 2024 (AoE)<br>
       - Author notification: June 26, 2024 (AoE)<br>
       - Camera-ready: July 17, 2024 (AoE)<br>
       - Symposium: September 9-11, 2024<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>
      programming language paradigm. LOPSTR has a reputation for being a
      <br>
      lively, friendly forum for presenting and discussing work in
      progress.<br>
      <br>
      LOPSTR 2024 will be held at Politecnico di Milano, Milan, Italy
      and,<br>
      as part of FM 2024, will be co-located with PPDP 2024, FACS 2024,
      <br>
      FMICS 2024, and TAP 2024. 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 FM
      2024 <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 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 class="moz-txt-link-freetext" href="https://easychair.org/conferences/?conf=lopstr2024">https://easychair.org/conferences/?conf=lopstr2024</a><br>
      <br>
      PROGRAM CHAIRS<br>
      <br>
      Juliana Bowles, University of St Andrews, Scotland and SCCH,
      Austria<br>
      Harald Søndergaard, The University of Melbourne, Australia<br>
      <br>
      PUBLICITY CHAIR<br>
      <br>
      Daniel Jurjo Rivas, IMDEA Software Institute, Spain<br>
      <br>
      PROGRAM COMMITTEE MEMBERS <br>
      <br>
      Elvira Albert, Complutense University of Madrid, Spain<br>
      Roberto Amadini, University of Bologna, Italy<br>
      Juliana Bowles, University of St Andrews, Scotland and SCCH,
      Austria<br>
      Maribel Fernandez, Kings College London, England<br>
      Fabio Fioravanti, University of Chieti-Pescara, Italy<br>
      Didier Galmiche, University of Lorraine, France<br>
      Robert Glück, University of Copenhagen, Denmark<br>
      Gopal Gupta, University of Texas at Dallas, TX, USA<br>
      Michael Hanus, Kiel University, Germany<br>
      Bishoksan Kafle, IMDEA Software Institute, Spain<br>
      Gabriele Keller, Utrecht University, Netherlands<br>
      Maja Kirkeby, Roskilde University, Denmark<br>
      Ekaterina Komendantskaya, University of Southampton, England<br>
      Fred Mesnard, University of Reunion, France<br>
      Koji Nakazawa, Nagoya University, Japan<br>
      Pedro Lopez-Garcia, CSIC and IMDEA Software Institute, Spain<br>
      Harald Søndergaard, The University of Melbourne, Australia<br>
      Theresa Swift, University Nova Lisbon, Portugal<br>
      Laura Titolo, AMA/NASA Research, VA, USA<br>
      Hans van Ditmarsch, CNRS Toulouse, France<br>
      Wim Vanhoof, University of Namur, Belgium<br>
      German Vidal, Universitat Politecnica de Valencia, Spain<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 class="moz-txt-link-freetext" href="http://lopstr.webs.upv.es/">http://lopstr.webs.upv.es/</a>. <br>
      You can find the contents of past LOPSTR symposia at DBLP<br>
      (<a class="moz-txt-link-freetext" 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 class="moz-txt-link-freetext" href="https://link.springer.com/conference/lopstr">https://link.springer.com/conference/lopstr</a>).<br>
      <br>
      <br>
    </p>
  </body>
</html>