LOPSTR 2017 - 27th International Symposium on Logic-based Program Synthesis and Transformation

LOPSTR 2017 will be co-located with PPDP 2017 (the ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming). Information about venue and travel is available on the joint PPDP / LOPSTR conference website.
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. Both full papers and extended abstracts describing applications in these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to:
synthesis
transformation
specialization
composition
optimization
inversion
specification
analysis and verification
testing and certification
program and model manipulation
transformational techniques in SE
applications and tools
Survey papers that present some aspects of the above topics from a new perspective, and application papers that describe experience with industrial applications are also welcome.
Papers must describe original work, be written and presented in English, 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 doubt).