<!DOCTYPE html>
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<div class="moz-forward-container">
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<p>=====================================================================<br>
<b>FMCAD 2025 </b>- 25th Intl Conference on Formal Methods in
Computer-Aided Design <br>
<br>
<i>Call for Participation </i><br>
<br>
October 6--10, 2025 SRI International Headquarters Menlo Park,
California, US <br>
<br>
<a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__https://fmcad.org/FMCAD25__;!!IBzWLUs!Wb1SX-yW9WORmjQd_6i5Q4e5c0LkiMavKST6IQQKM8v2rk6Q_bPe2JyUC20xh6IfOzrJwNQpHT_TosZqb3ryJPs_bKsA9DJ8KmeaHj0Y8kyhmg$" moz-do-not-send="true">https://fmcad.org/FMCAD25</a>
<br>
Registration link: <a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__https://fmcad.org/FMCAD25/registration/__;!!IBzWLUs!Wb1SX-yW9WORmjQd_6i5Q4e5c0LkiMavKST6IQQKM8v2rk6Q_bPe2JyUC20xh6IfOzrJwNQpHT_TosZqb3ryJPs_bKsA9DJ8KmeaHj1eL3v3Uw$" moz-do-not-send="true">https://fmcad.org/FMCAD25/registration/</a>
<br>
<br>
=====================================================================<br>
<br>
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: <br>
<br>
* the FMCAD Student Forum (<a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__https://fmcad.forsyte.at/FMCAD25/student_forum/__;!!IBzWLUs!Wb1SX-yW9WORmjQd_6i5Q4e5c0LkiMavKST6IQQKM8v2rk6Q_bPe2JyUC20xh6IfOzrJwNQpHT_TosZqb3ryJPs_bKsA9DJ8KmeaHj2cD3ikhQ$" moz-do-not-send="true">https://fmcad.forsyte.at/FMCAD25/student_forum/</a>)
<br>
* the HWMCC 2025 (<a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__https://hwmcc.github.io/2025/__;!!IBzWLUs!Wb1SX-yW9WORmjQd_6i5Q4e5c0LkiMavKST6IQQKM8v2rk6Q_bPe2JyUC20xh6IfOzrJwNQpHT_TosZqb3ryJPs_bKsA9DJ8KmeaHj3ST839aw$" moz-do-not-send="true">https://hwmcc.github.io/2025/</a>)
<br>
* VSTTE 2025 (<a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__https://systemf.epfl.ch/etc/vstte2025/__;!!IBzWLUs!Wb1SX-yW9WORmjQd_6i5Q4e5c0LkiMavKST6IQQKM8v2rk6Q_bPe2JyUC20xh6IfOzrJwNQpHT_TosZqb3ryJPs_bKsA9DJ8KmeaHj3vROXuAg$" moz-do-not-send="true">https://systemf.epfl.ch/etc/vstte2025/</a>)
<br>
<br>
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. <br>
<br>
## Conference dates: <br>
* VSTTE conference: October 6, 2025 <br>
* Joint VSTTE & FMCAD Tutorial day: October 7, 2025 <br>
* Main FMCAD conference: October 8–10, 2025 <br>
<br>
## FMCAD Tutorial Speakers: <br>
* Alberto Griggio, Fondazione Bruno Kessler, Italy <br>
* Ankush Desai, Amazon Web Services, USA <br>
<br>
## FMCAD Invited Talks:<br>
* Ashish Tiwari, Microsoft Research, USA <br>
* Nina Narodytska, VMware Research by Broadcom, USA <br>
<br>
## About the venue <br>
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. <br>
<br>
## Registration<br>
The registrations for the conference is now open. <br>
<br>
Early registration deadline: August 24, 2025, 23:59 PT <br>
Registration link: <a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__https://fmcad.org/FMCAD25/registration/__;!!IBzWLUs!Wb1SX-yW9WORmjQd_6i5Q4e5c0LkiMavKST6IQQKM8v2rk6Q_bPe2JyUC20xh6IfOzrJwNQpHT_TosZqb3ryJPs_bKsA9DJ8KmeaHj1eL3v3Uw$" moz-do-not-send="true">https://fmcad.org/FMCAD25/registration/</a>
<br>
<br>
<br>
We look forward to seeing you in Menlo Park! <br>
<br>
Best regards,<br>
Daniela Kaufmann and Ahmed Irfan<br>
FMCAD 2025 Co-Chairs<br>
</p>
</div>
</body>
</html>