Pre-proceedings of the 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2021)

TL;DR

This document presents the pre-proceedings of LOPSTR 2021, a hybrid symposium focusing on logic-based program synthesis and transformation, including initial papers and discussions for future formal publication.

Contribution

It compiles the initial submissions and discussions for LOPSTR 2021, highlighting ongoing research in logic-based program synthesis and transformation.

Findings

Initial papers presented for review and discussion

Hybrid format enabled broader participation

Preparation for formal proceedings underway

Abstract

This volume constitutes the pre-proceedings of the 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2021), held on 7-8th September 2021 as a hybrid (blended) meeting, both in-person (at the Teachers' House in Tallinn, Estonia) and virtual, and co-located with the 23rd International Symposium on Principles and Practice of Declarative Programming (PPDP 2021). After discussion at the symposium papers will go through a second round of refereeing and selection for the formal proceedings.