International Symposium on Logic-based Program Synthesis and Transformation
摘要截稿: 2017-06-06
全文截稿: 2017-06-13
开会时间: 2017-10-10
会议难度:
CCF分类: C类
会议地点: Namur, Belgium
Overview
LOPSTR 2017 will be co-located with PPDP 2017 (the ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming).
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.