<!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://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Flopstr.github.io%2F2024%2F&data=05%7C02%7C%7C512a85fd777d480d570c08dc6e921b46%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638506821804718090%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C40000%7C%7C%7C&sdata=QiGTvOGZ5s40tSpx23NTajc8Og25EmI%2B66btE03SL70%3D&reserved=0" originalSrc="https://lopstr.github.io/2024/" shash="u/TnQRLFF/Q3BWNwqfHr8PTMh5Lh1h6JuosC9R/WukOXolcSGUYDWBpza38VFp5Yu7VEKm9WNMhqXgfzIAkzBc17cQq8U42PnCeBlhp4t2wHoFXW/XV07j1JE/dHh/OWVkAj3fx6LfaEcdaIhKMhtHWBmQzuBw2LQOZVxITusjw=">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://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dlopstr2024&data=05%7C02%7C%7C512a85fd777d480d570c08dc6e921b46%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638506821804718090%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C40000%7C%7C%7C&sdata=mtmHa7jdVKWck%2FuY0vaOhnDDHigMsjtip4dvjp7tnAM%3D&reserved=0" originalSrc="https://easychair.org/conferences/?conf=lopstr2024" shash="OcA9iMcnb4p1eOVFaIoA6dhR5tJgvvLOw9PWcnW+iMzRavASPkl+1rjlkSXkIHEKxtkwhtqeXbbg8zoITJHgMnV8E++41QfFrHzJCZ/w8s39jJWnOM/lBBkEig386yeqJBrzIZ6PJ4FrbwM6vBrDVXeU1VhHjPQ0Fr1aY2ii7oE=">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="https://eur02.safelinks.protection.outlook.com/?url=http%3A%2F%2Flopstr.webs.upv.es%2F&data=05%7C02%7C%7C512a85fd777d480d570c08dc6e921b46%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638506821804718090%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C40000%7C%7C%7C&sdata=eR6h1eybAfqkVuFucBEAJG9u9wRjFABF7XZStVtrJ8k%3D&reserved=0" originalSrc="http://lopstr.webs.upv.es/" shash="DCG9zvb5YjwKE23H+7VSrffFbmDxSGVAxYxP0jXcvPxFEPbzY8eVHWJcQnH1aNQOEmUJYKXjROHGGcgx2ZbH/X25i5UI+vXsIFKF2+NJ2XBN2gK0z/dKuDIMQ9ehI8VuxU25NnMBrJ7gyODSYbQAl/NMWgJkW3v3gCf3wZk00fs=">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://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fdblp.uni-trier.de%2Fdb%2Fconf%2Flopstr%2Findex.html&data=05%7C02%7C%7C512a85fd777d480d570c08dc6e921b46%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638506821804718090%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C40000%7C%7C%7C&sdata=cWE6NJY7flW2VVGJCQyun0qk4kphF%2Fs4e7OFJwDNZfk%3D&reserved=0" originalSrc="https://dblp.uni-trier.de/db/conf/lopstr/index.html" shash="rTkwW4Ye+xGH7Q0vuf4urscfPkDxsFEYiRlCgrNZxiSkDjet1w+Q71WVW/8SVMvOKhDjJUYcYOB/uVYnba5zJJg3IJMLhLymTFIL9QBFYJ9bEjRCnK9sGjr8IDpDOKwpClQDbbVAdYVT00+zz6Ouod0bQoOUN0rqaXdzQ6BvZP8=">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://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Flink.springer.com%2Fconference%2Flopstr&data=05%7C02%7C%7C512a85fd777d480d570c08dc6e921b46%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638506821804718090%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C40000%7C%7C%7C&sdata=Eo1FUGg0Av1ivpP%2FQQKyWBGz8fn7XFJogHtgSv6w%2BOc%3D&reserved=0" originalSrc="https://link.springer.com/conference/lopstr" shash="ZRjN1IvTeep/UypsPKvg0CpzIsd7Dbgxsa9DP158aQZNNfmQ6B5ZU03iWCWYV3uf1e8egrHxtwoFJATmaKZcUUSf6dXDhD1BImJc8hRZfARMidJuiRrHx4x/37GtXCl6vdcRFdKITV1KhbWDW8KfHnOdf+dsEema6xXUZhcgRvQ=">https://link.springer.com/conference/lopstr</a>).<br>
<br>
<br>
</p>
</body>
</html>