© 2021

Logic-Based Program Synthesis and Transformation

30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings

  • Maribel Fernández
Conference proceedings LOPSTR 2020

Part of the Lecture Notes in Computer Science book series (LNCS, volume 12561)

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 12561)

Table of contents

  1. Front Matter
    Pages i-x
  2. Rewriting

    1. Front Matter
      Pages 1-1
    2. José Meseguer
      Pages 3-36
    3. Horatiu Cirstea, Pierre Lermusiaux, Pierre-Etienne Moreau
      Pages 74-92
  3. Unification

    1. Front Matter
      Pages 93-93
    2. Manfred Schmidt-Schauß, Yunus Kutz
      Pages 95-112
    3. Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen
      Pages 113-130
  4. Types

    1. Front Matter
      Pages 131-131
    2. Jack Hughes, Dominic Orchard
      Pages 151-170 Open Access
  5. Verification

    1. Front Matter
      Pages 171-171
    2. Zafer Esen, Philipp Rümmer
      Pages 173-191
    3. Roberto Amadini, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
      Pages 192-209
  6. Model Checking and Probabilistic Programming

    1. Front Matter
      Pages 229-229
    2. Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Tobias Winkler
      Pages 231-248
    3. Søren Enevoldsen, Mathias Claus Jensen, Kim Guldstrand Larsen, Anders Mariegaard, Jiří Srba
      Pages 249-268
  7. Program Analysis and Testing

    1. Front Matter
      Pages 269-269

About these proceedings


This book constitutes the refereed proceedings of the 30th International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2020, which was held during September 7-9, 2020.

The 15 papers presented in this volume were carefully reviewed and selected from a total of 31 submissions. The book also contains two invited talks in full paper length. The contributions were organized in topical sections named: rewriting; unification; types; verification; model checking and probabilistic programming; program analysis and testing; and logics.


computer programming distributed computer systems embedded systems formal languages formal logic linguistics logic programming natural language processing NLP parallel processing systems software design software engineering software notations and tools software quality theory of computation verification and validation

Editors and affiliations

  • Maribel Fernández
    • 1
  1. 1.King’s College LondonLondonUK

Bibliographic information