Informal proceedings of the 32nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2022)

TL;DR

This volume presents the informal proceedings of LOPSTR 2022, a hybrid symposium focused on logic-based program synthesis and transformation, held alongside PPDP 2022 as part of CLAS 2022.

Contribution

It compiles recent research contributions in logic-based program synthesis and transformation presented at LOPSTR 2022.

Findings

Diverse research papers on logic programming techniques

Advances in program synthesis methods

Innovations in program transformation approaches

Abstract

This volume constitutes the informal proceedings of the 32nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2022), held on 21-23rd September 2022 as a hybrid (blended) meeting, both in-person (at the Ivane Javakhishvili Tbilisi State University -TSU- in Tbilisi, Georgia) and virtual, and co-located with the 24th International Symposium on Principles and Practice of Declarative Programming (PPDP 2022) as part of the Computational Logic Autumn Summit 2022 (CLAS 2022).