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 at https://submissions.floc26.org/force/ 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:
May 8, 2026May 11, 2026 - Notification of acceptance: May 15, 2026
- FLoC workshop early registration deadline: June 1, 2026
- Workshop: July 25, 2026