Update: Submission deadline for final versions of papers for post-proceedings: 10 December 2020
The LNCS_Consent_to_Publish_Form is available here.


The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development in any language paradigm.

LOPSTR is a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers.

This year LOPSTR is part of the Bologna Federated Conference in Programming Languages, together with PPDP, WFLP and Microservices. Previous editions of LOPSTR were held in Porto, Namur, Edinburgh, Siena, Canterbury, Madrid, Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve, Manchester and Frankfurt.

Topics of interest cover all aspects of logic-based specification and program development (including in domain-specific languages), all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large, including:

  • synthesis; transformation; specialization; composition; optimisation;
  • specification; analysis and verification; testing and certification;
  • program and model manipulation; inversion;
  • machine learning for program development;
  • transformational techniques in SE; applications and tools

Both full papers and extended abstracts describing applications are especially welcome. Survey papers and papers that describe experience with industrial applications are also welcome.

Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions).

Programme & Schedule

The schedule of talks is available here

Invited Speakers

Philipp Rümmer - Uppsala University, Sweden
Ekaterina Komendantskaya - Heriot-Watt University, UK (joint LOPSTR/PPDP speaker)
José Meseguer - University of Illinois at Urbana-Champaign (BOPL keynote speaker)

Accepted papers

Informal Proceedings

The informal pre-proceedings are available here.


Elvira Albert, Complutense University of Madrid, Spain
María Alpuente, Universitat Politècnica de València, Spain
Mauricio Ayala-Rincón, University of Brasilia, Brazil
Clara Bertolissi, University Aix-Marseilles, France
Emanuele De Angelis, CNR Inst. for Systems Analysis and Computer Science, Italy
Maribel Fernández, King's College London, UK (chair)
Mario Florido, University of Porto, Portugal
Maurizio Gabbrielli, University of Bologna, Italy
Robert Glück, University of Copenhagen, Denmark
Gopal Gupta, University of Texas at Dallas, US
Michael Hanus, Kiel University, Germany
Delia Kesner, Université de Paris, France
Andy King, University of Kent, UK
Temur Kutsia, RISC J. Kepler University of Linz, Austria
Giselle Reis, Carnegie Mellon University, Qatar
Masahito Sakai, Nagoya University, Japan
René Thiemann, University of Innsbruck, Austria
Alwen Tiu, The Australian National University, Australia
Germán Vidal, Universitat Politècnica de València, Spain

Important Dates

Submission Deadlines

Paper/Extended Abstract: 19 June 2020 (AoE)
Notification: 19 July 2020
Post-proceedings: 9 October 2020 (AoE)
Notification: 16 November 2020
Final Version: 10 December 2020

Participation Deadlines

Pre-proceedings papers: 12 Aug 2020
Registration: 3 September 2020
Conference: 7-9 September 2020

Submission Guidelines

Authors should submit an electronic copy of the paper (written in English) in PDF, formatted in the Lecture Notes in Computer Science style. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; abstract; and three to four keywords which will be used to assist the PC in selecting appropriate reviewers for the paper. Page numbers (and, if possible, line numbers) should appear on the manuscript to help the reviewers in writing their report. So, for LaTeX, we recommend that authors use:

Submissions must not exceed 15 pages excluding references (for post-proceedings: 16 pages excluding references). Additional pages may be used for appendices (which will not be published). Since reviewers are not required to read the appendices, papers should be intelligible without them. Papers should be submitted via the Easychair submission website for LOPSTR 2020 - Easychair submission link.


The formal post-conference proceedings will be published by Springer in the Lecture Notes in Computer Science series as in previous years. Full papers can be directly accepted for publication in the formal proceedings, or accepted only for presentation at the symposium and inclusion in informal proceedings. After the symposium, all authors of extended abstracts and full papers accepted only for presentation will be invited to revise and/or extend their submissions in the light of the feedback solicited at the symposium (maximum 16 pages excluding references, please include an appendix explaining how you addressed the comments you received from reviewers before the conference).
After another round of reviewing, these revised papers may also be published in the formal proceedings. Authors should consult Springer’s authors’ guidelines and use their proceedings templates, available also in Overleaf, for the preparation of their papers.
Springer encourages authors to include their ORCIDs in their papers. In addition, the corresponding author of each paper, acting on behalf of all of the authors of that paper, must complete and sign a Consent-to-Publish form. The corresponding author signing the copyright form should match the corresponding author marked on the paper. Once the files have been sent to Springer, changes relating to the authorship of the papers cannot be made. The LNCS Consent_to_Publish_Form is available here.

Best Paper Awards and Prizes

Thanks to Springer's sponsorship, two awards (including a 500EUR prize each) will be given at LOPSTR 2020, based on relevance, originality and technical quality of papers. The program committee may split the awards among two or more papers, also considering authorship (e.g., student paper).


Registration is available at the BOPL registration portal until the 3rd September 2020.


Programme Committee Chair

Maribel Fernández
King's College London

Organisation Committee Chair

Maurizio Gabbrielli
University of Bologna