CFP summary
FMCAD 2026 is the conference on Formal Methods in Computer-Aided Design, a specialized venue for formal techniques applied to hardware and system design. The conference welcomes work ranging from foundational verification and synthesis methods to tools and case studies for industrial-strength systems. The 2026 edition in Graz continues FMCAD’s role in advancing rigorous methods for the specification, analysis, and implementation of complex computing systems.
Topics
Formal verification; model checking; theorem proving; satisfiability and SMT-based methods; synthesis and program generation; equivalence checking; hardware and embedded system verification; cyber-physical and safety-critical systems; formal methods tools and industrial applications; education and benchmark studies in formal CAD.