<div dir="ltr"><div class="gmail_default" style="font-family:arial,sans-serif;font-size:small">31st International Symposium on<br>Logic-Based Program Synthesis and Transformation<br>LOPSTR 2021<br><br><a href="http://saks.iasi.cnr.it/lopstr21/">http://saks.iasi.cnr.it/lopstr21/</a><br><br>Tallinn (Estonia) and Virtual<br>September 7-9, 2021<br>(co-located with PPDP 2021)<br><br><br>*** EXTENDED SUBMISSION DEADLINE: June 7, 2021 ***<br><br>* The conference will be held as a hybrid (blended) meeting, both in-person and virtual. *<br><br>============================================================<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, friendly<br>forum for presenting and discussing work in progress. Formal proceedings<br>are produced only after the symposium so that authors can incorporate<br>this feedback in the published papers.<br><br>The 31st International Symposium on Logic-based Program Synthesis and<br>Transformation (LOPSTR 2021) will be held as a hybrid (blended) meeting,<br>both in-person (at the Teachers&#39; House in Tallinn, Estonia) and virtual.<br>Previous symposia were held in Bologna (as a virtual meeting), Porto,<br>Frankfurt am Main, Namur, Edinburgh, Siena, Canterbury, Madrid, Leuven,<br>Odense, Hagenberg, Coimbra, Valencia, Kongens Lyngby, Venice, London,<br>Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven,<br>Stockholm, Arnhem, Pisa, Louvain-la-Neuve, and Manchester.<br>LOPSTR 2021 will be co-located with PPDP 2021 (International Symposium<br>on Principles and Practice of Declarative Programming).<br><br>Topics of interest cover all aspects of logic-based program development,<br>all stages of the software life cycle, and issues of both<br>programming-in-the-small and programming-in-the-large, including,<br>but not limited to:<br><br>  - synthesis<br>  - transformation<br>  - specialization<br>  - composition<br>  - optimization<br>  - inversion<br>  - specification<br>  - analysis and verification<br>  - testing and certification<br>  - program and model manipulation<br>  - machine learning for program development<br>  - verification and testing of machine learning systems<br>  - transformational techniques in SE<br>  - applications and tools<br><br>Both full papers and extended abstracts describing foundations and<br>applications in these areas are welcome. Survey papers that present<br>some aspects of the above topics from a new perspective and papers<br>that describe experience with industrial applications are also welcome.<br><br>Papers must describe original work, be written and presented in English,<br>and must not substantially overlap with papers that have been published<br>or that are simultaneously submitted to a journal, conference, or workshop<br>with refereed proceedings. Work that already appeared in unpublished or<br>informally published workshop proceedings may be submitted (please contact<br>the PC chairs in case of questions).<br><br><br>* Important Dates *<br><br>Paper/Extended abstract submission (extended): June 7, 2021<br>Notification (extended): July 16, 2021<br>Camera-ready (for electronic pre-proceedings): August 20, 2021<br>Symposium: September 7-9, 2021<br>Revised paper submission: November 1, 2021 (AoE)<br>Notification: December 1, 2021<br>Final version (for post-proceedings): January 16, 2022<br><br><br>* Submission Guidelines *<br><br>Authors should submit an electronic copy of the paper (written in English)<br>in PDF, formatted in LNCS style. Each submission must include on its first<br>page the paper title; authors and their affiliations; contact author&#39;s<br>email; abstract; and three to four keywords which will be used to assist<br>the PC in selecting appropriate reviewers for the paper. Page numbers<br>(and, if possible, line numbers) should appear on the manuscript to help<br>the reviewers in writing their report. Full papers cannot exceed 15 pages<br>excluding references. Extended abstracts cannot exceed 8 pages excluding<br>references. Additional pages may be used for appendices not intended for<br>publication. Reviewers are not required to read the appendices, and thus<br>papers should be intelligible without them. Papers should be submitted<br>via EasyChair: <a href="https://easychair.org/conferences/?conf=lopstr2021">https://easychair.org/conferences/?conf=lopstr2021</a><br><br><br>* Proceedings *<br><br>The formal post-conference proceedings will be published by Springer in the<br>Lecture Notes in Computer Science series as in previous years. Full papers<br>can be directly accepted for publication in the formal proceedings, or<br>accepted only for presentation at the symposium and inclusion in informal<br>proceedings. After the symposium, all authors of extended abstracts and<br>full papers accepted only for presentation will be invited to revise and/or<br>extend their submissions. Then, after another round of reviewing, these<br>revised papers may also be published in the formal proceedings. Authors<br>should consult Springer’s authors’ guidelines and use their proceedings<br>templates for the preparation of their papers. Springer encourages authors<br>to include their ORCIDs in their papers.<br><br><br>* Best paper awards *<br>Thanks to Springer&#39;s sponsorship, two awards (including a 500 EUR prize each)<br>will be given at LOPSTR 2021. The program committee will select the winning<br>papers based on relevance, originality and technical quality but may also<br>take authorship into account (e.g. a student paper).<br><br><br>* Invited Speaker *<br>TBA<br><br><br>* Program Committee *<br>Roberto Amadini, University of Bologna, Italy<br>Sabine Broda, University of Porto, Portugal<br>Maximiliano Cristiá, CIFASIS-UNR, Argentina<br>Włodzimierz Drabent, IPI PAN, Poland &amp; Linköping University, Sweden<br>Catherine Dubois, ENSIIE-Samovar, France<br>Gregory Duck, National University of Singapore, Singapore<br>Fabio Fioravanti, University of Chieti-Pescara, Italy<br>Jeremy Gibbons, University of Oxford, UK<br>Gopal Gupta, University of Texas at Dallas, USA<br>Geoff Hamilton, Dublin City University, Ireland<br>Michael Hanus, Kiel University, Germany<br>Bishoksan Kafle, IMDEA Software Institute, Spain<br>Maja Kirkeby, Roskilde University, Denmark<br>Temur Kutsia, RISC J. Kepler University of Linz, Austria<br>Michael Leuschel, University of Düsseldorf, Germany<br>Pedro López-García, IMDEA Software Institute &amp; CSIC, Spain<br>Jacopo Mauro, University of Southern Denmark, Denmark<br>Fred Mesnard, Université de la Réunion, France<br>Alberto Momigliano, University of Milano, Italy<br>Jorge A. Navas, SRI International, USA<br>Naoki Nishida, Nagoya University, Japan<br>Alicia Villanueva, Universitat Politècnica de València, Spain<br><br><br>* Program Chairs *<br>Emanuele De Angelis, IASI-CNR, Italy<br>Wim Vanhoof, University of Namur, Belgium<br><br><br>* Local organisation *<br>Niccolò Veltri, Tallinn University of Technology, Estonia<br><br><br>* Contact *<br><br>For more information, please contact the Program Committee Chairs:<br><a href="mailto:emanuele.deangelis@iasi.cnr.it">emanuele.deangelis@iasi.cnr.it</a>, <a href="mailto:wim.vanhoof@unamur.be">wim.vanhoof@unamur.be</a><br></div></div>