LOPSTR 2018 - 28th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2018)

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