LOPSTR 2015 - Symposium on Logic-Based Program Synthesis and Transformation

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 software engineering
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.