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. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers.
The 31st International Symposium on Logic-based Program Synthesis and Transformation - LOPSTR 2021 - is collocated with PPDP 2021 and will be held on September 7-8, 2021 as a hybrid (blended) meeting, both in-person at Tallinn Teachers' House (Raekoja plats 14) and virtual. Common information about the conference venue, registration, and travel is at PPDP-LOPSTR.
Local organisation Chair Niccolò Veltri from Software Science Department.
Check for up-to-date information on the symposium website: http://saks.iasi.cnr.it/lopstr21/