The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress.

The 32nd International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2022) will be held as a hybrid (blended) meeting, both in-person (at the Ivane Javakhishvili Tbilisi State University -TSU- in Tbilisi, Georgia) and virtual. Previous symposia were held in Tallin (hybrid event), Bologna (as a virtual meeting), Porto, Frankfurt am Main, Namur, Edinburgh, Siena, Canterbury, Madrid, Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve and Manchester. You might have a look at the contents of past LOPSTR symposia at DBLP, and at the Springer LNCS repository for past Post-proceedings.

LOPSTR 2022 will be co-located with PPDP 2022 as part of the Computational Logic Autumn Summit 2022. Information about venue and travel is available on the CLAS 2022 website.

The LOPSTR 2022 proceedings will be published by Springer in the Lecture Notes in Computer Science series at conference time after a single round of reviewing.

Submissions can be made in two categories: full papers and extended abstracts. All submissions must be written in English. Submissions of Full Papers must describe original work, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Submissions of Extended Abstracts may describe work-in-progress research to be presented during the conference. These contributions will be published in informal proceedings, if enough papers are accepted.

After the symposium, a selection of the best papers will be invited for submission to a special issue of the Fundamenta Informaticae journal. Authors of selected original papers will be invited to revise and/or extend their submissions to be considered for publication in the special issue. The papers submitted to the special issue will be subject to the standard reviewing process of the journal.

Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large, including, but not limited to:

    synthesis; transformation; specialization; composition; optimisation
    specification; analysis; verification; testing; certification
    program and model manipulation; inversion
    artificial intelligence methods for program development; verification and testing of AI-based systems
    transformational techniques in SE
    applications and tools

Both full papers and extended abstracts describing foundations and applications in these areas are welcome. Survey papers that present some aspects of the above topics from a new perspective and papers that describe experience with industrial applications are also welcome.