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

07/29/2022

∙

by   Alicia Villanueva, et al.

∙

0

∙

share

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).