FMCAD 202 5 is the twenty-fifth edition in a series of confe rences on the theory and applications of formal me thods in hardware and system verification. The con ference encompasses a wide range of topics related to formal aspects of computer-aided system design , including verification, specification, synthesis , and testing and provides a leading forum to rese archers in academia and industry for presenting an d discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning form ally about computing systems. FMCAD 2025 is co-loc ated with VSTTE 2025.
\nContinuing the tra dition of the previous years, FMCAD 2025 will host a Student Forum that provides a platform for grad uate students at any career stage to introduce the ir research to the wider Formal Methods community, and solicit feedback.
\nFMCA D welcomes submission of papers reporting original research on advances in all aspects of formal met hods and their applications to computer-aided desi gn. Submissions must be made electronically in PDF format via EasyChair.
\nTwo categories of paper s are invited: Regular papers, and Tool & Case Stu dy papers. Regular papers* are expected to offer n ovel foundational ideas, theoretical results, or a lgorithmic improvements to existing methods, along with experimental impact validation where applica ble. Tool & Case Study papers are expected to repo rt on the design, implementation or use of verific ation (or related) technology in a practically rel evant context (which need not be industrial), and its impact on design processes.
\nSubmissi ons for the student forum must be short reports de scribing research ideas or ongoing work that the s tudent is currently pursuing, and must be within t he scope of FMCAD.
\n