Complex engineering systems are built by interconnecting numerous hardware and software elements. These components are designed according to well-understood engineering principles, but their interconnections usually undergo comparatively less analysis and simulation. As a result, root causes of complex-systems failures are often traced to interconnections among components rather than to the components themselves. This has led to urgent calls from both industry and academia for the development of new methodologies and tools to prove properties of complex engineering systems.
The communities of formal methods and computational logic have produced powerful theories and tools to address these challenges for digital systems. The purpose of the Formal Reasoning for Compositional Systems Engineering workshop is to bring together scientists and industry to understand how to harness this wealth of theories and tools for complex systems engineering.
The workshop will take place as part of CAV 2026 in Lisbon, Portugal, on July 25th, 2026.