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).
翻译:该卷是2022年9月21日至23日举行的第32次基于逻辑的方案综合和转型国际专题讨论会(LOPSTR 2022)的非正式议事录,该专题讨论会是一次混合(混合)会议,当时在场(在格鲁吉亚第比利斯的Ivane Javakhishvili国立大学TSU)和虚拟形式,与第24次宣布性方案编制的原则和实践国际专题讨论会(PPDP 2022)合用同一地点,作为2022年计算性逻辑秋季首脑会议(CLAS 2022)的一部分。