References & Citations
Computer Science > Programming Languages
Title: Pre-proceedings of the 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2021)
(Submitted on 21 Jul 2021 (this version), latest version 31 Aug 2021 (v3))
Abstract: This volume constitutes the pre-proceedings of the 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2021), held on 7-8th September 2021 as a hybrid (blended) meeting, both in-person (at the Teachers' House in Tallinn, Estonia) and virtual, and co-located with the 23rd International Symposium on Principles and Practice of Declarative Programming (PPDP 2021). After discussion at the symposium papers will go through a second round of refereeing and selection for the formal proceedings.
Submission history
From: Emanuele De Angelis [view email][v1] Wed, 21 Jul 2021 15:43:23 GMT (1kb)
[v2] Thu, 22 Jul 2021 07:40:00 GMT (1kb)
[v3] Tue, 31 Aug 2021 08:49:08 GMT (2kb)
Link back to: arXiv, form interface, contact.