Pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016)
Manuel V. Hermenegildo, Pedro Lopez-Garcia
TL;DR
This document presents the pre-proceedings of LOPSTR 2016, a symposium focused on logic-based program synthesis and transformation, including related events and upcoming peer review processes.
Contribution
It compiles research papers and discussions from LOPSTR 2016, highlighting ongoing developments in logic-based program synthesis and transformation.
Findings
Pre-proceedings include diverse research contributions.
Symposium fosters collaboration across related fields.
Peer review process for formal proceedings underway.
Abstract
This volume constitutes the pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), held on 6-8th September 2016 in Edinburgh, Scotland UK, and co-located with the 18th International Symposium on Principles and Practice of Declarative Programming (PPDP 2016) and the 23rd Static Analysis Symposium (SAS 2016). After discussion at the symposium papers will go through a second round of refereeing and selection for the formal proceedings.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsSoftware Engineering Research · Software Reliability and Analysis Research · Software Testing and Debugging Techniques