International Symposium on Logic-based Program Synthesis and Transformation
摘要截稿: 2024-05-06
全文截稿: 2024-05-10
开会时间: 2024-09-09
会议难度:
CCF分类: C类
会议地点: Milan, Italy
Overview
The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress.
LOPSTR 2024 will be held in-person at Politecnico Milano in Milan, Italy, and will be co-located with PPDP 2024 as part of FM 2024. At least one of the authors of an accepted paper is required to attend the conference and present the paper. Information about venue and travel will be made available later.
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, including, but not limited to:
synthesis
transformation
specialization
inversion
composition
optimisation
specification
analysis and verification
testing and certification
program and model manipulation
AI-methods for program development
verification and testing of AI-based systems
transformational techniques in software engineering
logic-based methods for security
logic-based methods for cyber-physical and distributed system
applications, tools and industrial practice