The aim of the FORCE workshop is to explore theory, methodologies, and tools to formally prove properties of complex engineering systems that require a multi-disciplinary approach, and study a variety of complex systems through the lens of formal methods. The topics of interest include the following:
- Theories and tools for compositional system design
- Experiences applying formal reasoning to engineering systems
- Cyber-physical systems
- Descriptions of current challenges in systems engineering
Proposals for presentations should be submitted as extended abstracts of up to three pages, excluding references, in LNCS format. The review process will be single-blind. Workshop proceedings will not be formally published, so presentations can be based on previously published work.
Important dates
- Submission deadline: TBD
- Notification of acceptance: TBD
- CAV workshop early registration deadline: TBD
- Workshop: July 20, 2027