===================================================================== *FMCAD 2025 *- 25th Intl Conference on Formal Methods in Computer-Aided Design /Call for Participation / October 6--10, 2025 SRI International Headquarters Menlo Park, California, US https://fmcad.org/FMCAD25 Registration link: https://fmcad.org/FMCAD25/registration/ ===================================================================== FMCAD 2025 will be held at the SRI International Headquarters in Menlo Park, California, USA, from October 6 to October 10, 2025. The conference includes: * the FMCAD Student Forum (https://fmcad.forsyte.at/FMCAD25/student_forum/) * the HWMCC 2025 (https://hwmcc.github.io/2025/) * VSTTE 2025 (https://systemf.epfl.ch/etc/vstte2025/) FMCAD 2025 is the twenty-fifth in a series of conferences on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing. ## Conference dates: * VSTTE conference: October 6, 2025 * Joint VSTTE & FMCAD Tutorial day: October 7, 2025 * Main FMCAD conference: October 8–10, 2025 ## FMCAD Tutorial Speakers: * Alberto Griggio, Fondazione Bruno Kessler, Italy * Ankush Desai, Amazon Web Services, USA ## FMCAD Invited Talks: * Ashish Tiwari, Microsoft Research, USA * Nina Narodytska, VMware Research by Broadcom, USA ## About the venue FMCAD 2025 is hosted by SRI. The Menlo Park campus is situated in the heart of Silicon Valley just minutes from Stanford University and major tech companies. SRI is an independent nonprofit R&D institute with deep roots in Silicon Valley. With a nearly 80-year legacy, SRI’s technologies, research, and ideas have had a profound impact on every one of our lives — at home, at work, at school, and at play. SRI’s teams work in locations from coast-to-coast and in Tokyo, collaborate across fields and disciplines, and take an integrated approach to supporting government and commercial clients and addressing some of the world’s greatest challenges. ## Registration The registrations for the conference is now open. Early registration deadline: August 24, 2025, 23:59 PT Registration link: https://fmcad.org/FMCAD25/registration/ We look forward to seeing you in Menlo Park! Best regards, Daniela Kaufmann and Ahmed Irfan FMCAD 2025 Co-Chairs