<!DOCTYPE html>
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<div
style="color: #c5c8c6;background-color: #1e1e1e;font-family: 'Droid Sans Mono', 'monospace', monospace;font-weight: normal;font-size: 14px;line-height: 19px;white-space: pre;">
<div><span style="color: #d0b344;">================================================================================</span></div><div><span
style="color: #c5c8c6;"> Formal Methods in Computer-Aided Design (FMCAD) 2025 - Deadline Extension</span></div><div><span
style="color: #d0b344;">================================================================================</span></div>
<div><span style="color: #c5c8c6;">FMCAD 2025 is the twenty-fifth edition in a series of conferences on the theory and </span></div><div><span
style="color: #c5c8c6;">applications of formal methods in hardware and system verification. The conference </span></div><div><span
style="color: #c5c8c6;">encompasses a wide range of topics related to formal aspects of computer-aided system </span></div><div><span
style="color: #c5c8c6;">design, including verification, specification, synthesis, and testing and provides </span></div><div><span
style="color: #c5c8c6;">a leading forum to researchers in academia and industry for presenting and discussing </span></div><div><span
style="color: #c5c8c6;">groundbreaking methods, technologies, theoretical results, and tools for reasoning </span></div><div><span
style="color: #c5c8c6;">formally about computing systems. </span></div>
<div><span style="color: #d0b344;font-weight: bold;">## General Information</span></div><div><span
style="color: #c5c8c6;">Conference Website: <a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__https://fmcad.org/FMCAD25/__;!!IBzWLUs!SboWkhPexJORaRJIPIaMcroiCn7C1bGrCCGLVRXy12ZCMBAECGrlZrhXOfVp1-MXNkWEUsCmlz3XuQneSJTU-SQzrAjUMH2go3hZwJI1co8rzQ$">https://fmcad.org/FMCAD25/</a> </span></div><div><span
style="color: #c5c8c6;">Conference Location: SRI Headquarters, Menlo Park, California, US </span></div><div><span
style="color: #c5c8c6;">Conference Dates: October 6 - October 10, 2025 </span></div>
<div><span style="color: #c5c8c6;">FMCAD 2025 includes the FMCAD Student Forum (<a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__https://fmcad.org/FMCAD25/student_forum/__;!!IBzWLUs!SboWkhPexJORaRJIPIaMcroiCn7C1bGrCCGLVRXy12ZCMBAECGrlZrhXOfVp1-MXNkWEUsCmlz3XuQneSJTU-SQzrAjUMH2go3hZwJLvZt4q9Q$">https://fmcad.org/FMCAD25/student_forum/</a>) </span></div><div><span
style="color: #c5c8c6;">and is co-located with VSTTE 2025. </span></div>
<div><span style="color: #d0b344;font-weight: bold;">## Topics of Interest</span></div><div><span
style="color: #c5c8c6;">FMCAD welcomes submission of papers reporting original research on advances in all </span></div><div><span
style="color: #c5c8c6;">aspects of formal methods and their applications to computer-aided design. </span></div>
<div><span style="color: #c5c8c6;">Topics of interest include (but are not limited to):</span></div><div><span
style="color: #9aa83a;">*</span><span style="color: #9aa83a;"> Model checking, theorem proving, equivalence checking, abstraction and reduction, </span></div><div><span
style="color: #c5c8c6;">compositional methods, decision procedures at the bit- and word-level, probabilistic </span></div><div><span
style="color: #c5c8c6;">methods, combinations of deductive methods and decision procedures.</span></div><div><span
style="color: #9aa83a;">*</span><span style="color: #9aa83a;"> Synthesis and compilation for computer system descriptions, modeling, specification, </span></div><div><span
style="color: #c5c8c6;">and implementation languages, formal semantics of languages and their subsets, model-based </span></div><div><span
style="color: #c5c8c6;">design, design derivation and transformation, correct-by-construction methods.</span></div><div><span
style="color: #9aa83a;">*</span><span style="color: #9aa83a;"> Application of formal and semi-formal methods to functional and non-functional </span></div><div><span
style="color: #c5c8c6;">specification and validation of hardware and software, including timing and power </span></div><div><span
style="color: #c5c8c6;">modeling, verification of computing systems on all levels of abstraction, system-level </span></div><div><span
style="color: #c5c8c6;">design and verification for embedded systems, cyber-physical systems, automotive </span></div><div><span
style="color: #c5c8c6;">systems and other safety-critical systems, hardware-software co-design and verification, </span></div><div><span
style="color: #c5c8c6;">and transaction-level verification.</span></div><div><span
style="color: #9aa83a;">*</span><span style="color: #9aa83a;"> Experience with the application of formal and semi-formal methods to industrial-scale </span></div><div><span
style="color: #c5c8c6;">designs; tools that represent formal verification enablement, introduce new features, </span></div><div><span
style="color: #c5c8c6;">or substantially improve the automation of formal methods. </span></div><div><span
style="color: #9aa83a;">*</span><span style="color: #9aa83a;"> Application of formal methods to verifying safety, connectivity and security properties </span></div><div><span
style="color: #c5c8c6;">of networks, distributed systems, smart contracts, block chains, and IoT devices. </span></div><div><span
style="color: #9aa83a;">*</span><span style="color: #9aa83a;"> Application of formal methods to the analysis of machine learning systems, and </span></div><div><span
style="color: #c5c8c6;">applications of machine learning to enhance formal methods techniques.</span></div>
<div><span style="color: #d0b344;font-weight: bold;">## Important Dates </span></div>
<div><span style="color: #9aa83a;">*</span><span style="color: #9aa83a;"> Abstract Submission Deadline: April 28, 2025 (extended from April 20, 2025)</span></div><div><span
style="color: #9aa83a;">*</span><span style="color: #9aa83a;"> Paper Submission Deadline: May 5, 2025 (extended from April 27, 2025) </span></div><div><span
style="color: #9aa83a;">*</span><span style="color: #9aa83a;"> Author Response: June 17 - June 19, 2025 </span></div><div><span
style="color: #9aa83a;">*</span><span style="color: #9aa83a;"> Author Notification: July 1, 2025 </span></div>
<div><span style="color: #c5c8c6;">All deadlines are 11:59 pm AoE (Anywhere on Earth) </span></div>
<div><span style="color: #d0b344;font-weight: bold;">### FMCAD/VSTTE Program Outline </span></div>
<div><span style="color: #9aa83a;">*</span><span style="color: #9aa83a;"> Main VSTTE Day: October 6, 2025 </span></div><div><span
style="color: #9aa83a;">*</span><span style="color: #9aa83a;"> Joint FMCAD/VSTTE Tutorial Day: October 7, 2025 </span></div><div><span
style="color: #9aa83a;">*</span><span style="color: #9aa83a;"> Main FMCAD days: October 8 - October 10, 2025 </span></div>
<div><span style="color: #d0b344;font-weight: bold;">## Submission Guidelines</span></div>
<div><span style="color: #c5c8c6;">Submissions must be made electronically in PDF format via EasyChair:</span></div><div><span
style="color: #c5c8c6;"><a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__https://easychair.org/conferences?conf=fmcad2025__;!!IBzWLUs!SboWkhPexJORaRJIPIaMcroiCn7C1bGrCCGLVRXy12ZCMBAECGrlZrhXOfVp1-MXNkWEUsCmlz3XuQneSJTU-SQzrAjUMH2go3hZwJIjLBvkrw$">https://easychair.org/conferences?conf=fmcad2025</a></span></div>
<div><span style="color: #c5c8c6;">Two categories of papers are invited: Regular papers, and Tool & Case Study papers. </span></div>
<div><span style="color: #9aa83a;">*</span><span style="color: #9aa83a;"> </span><span
style="color: #6089b4;font-style: italic;">*Regular papers*</span><span
style="color: #9aa83a;"> are expected to offer novel foundational ideas, theoretical results, </span></div><div><span
style="color: #c5c8c6;">or algorithmic improvements to existing methods, along with experimental impact validation </span></div><div><span
style="color: #c5c8c6;">where applicable. </span></div><div><span
style="color: #9aa83a;">*</span><span style="color: #9aa83a;"> </span><span
style="color: #6089b4;font-style: italic;">*Tool & Case Study papers*</span><span
style="color: #9aa83a;"> are expected to report on the design, implementation </span></div><div><span
style="color: #c5c8c6;">or use of verification (or related) technology in a practically relevant context </span></div><div><span
style="color: #c5c8c6;">(which need not be industrial), and its impact on design processes.</span></div>
<div><span style="color: #c5c8c6;">Both Regular and Tool & Case Study papers must use the IEEE Transactions format on </span></div><div><span
style="color: #c5c8c6;">letter-size paper with a 10-point font size; preferably, use the FMCAD template for </span></div><div><span
style="color: #c5c8c6;">papers. Papers in both categories can be either 8 pages (long) or 4 pages (short) </span></div><div><span
style="color: #c5c8c6;">in length excluding references. Short papers that describe emerging results, practical </span></div><div><span
style="color: #c5c8c6;">experiences, or original ideas that can be described succinctly are encouraged. Authors </span></div><div><span
style="color: #c5c8c6;">will be required to select an appropriate paper category at abstract submission time. </span></div><div><span
style="color: #c5c8c6;">Submissions may contain an optional appendix, which will not appear in the final </span></div><div><span
style="color: #c5c8c6;">version of the paper. The reviewers should be able to assess the quality and the </span></div><div><span
style="color: #c5c8c6;">relevance of the results in the paper without reading the appendix.</span></div>
<div><span style="color: #c5c8c6;">Submissions in all categories must contain original research that has not been previously </span></div><div><span
style="color: #c5c8c6;">published, nor is concurrently submitted for publication. Any partial overlap with </span></div><div><span
style="color: #c5c8c6;">published or concurrently submitted papers must be clearly indicated. </span></div>
<div><span style="color: #c5c8c6;">FMCAD employs a rigorous peer-review process and each submission will be reviewed </span></div><div><span
style="color: #c5c8c6;">by at least four members of the program committee. The review process is single-blind. </span></div>
<div><span style="color: #c5c8c6;">The review process will incorporate a feedback and rebuttal period during which authors </span></div><div><span
style="color: #c5c8c6;">will have the opportunity to formally respond to reviewer comments.</span></div>
<div><span style="color: #6089b4;font-weight: bold;">**New - Artifact Evaluation:**</span><span
style="color: #c5c8c6;"> FMCAD 2025 introduces optional artifact evaluation </span></div><div><span
style="color: #c5c8c6;">to enhance transparency and the usability of research outcomes. Authors reporting </span></div><div><span
style="color: #c5c8c6;">experimental results are strongly encouraged to publish their final data in a long-term </span></div><div><span
style="color: #c5c8c6;">repository (e.g. zenodo (<a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__https://zenodo.org__;!!IBzWLUs!SboWkhPexJORaRJIPIaMcroiCn7C1bGrCCGLVRXy12ZCMBAECGrlZrhXOfVp1-MXNkWEUsCmlz3XuQneSJTU-SQzrAjUMH2go3hZwJJsWW5lBg$">https://zenodo.org</a>)). With artifacts serving as supplementary </span></div><div><span
style="color: #c5c8c6;">evidence, high-quality artifacts can improve the likelihood of paper acceptance. </span></div><div><span
style="color: #c5c8c6;">Artifact evaluation will be integrated into the main review process, with one selected </span></div><div><span
style="color: #c5c8c6;">program committee member assessing the quality of the artifact alongside the paper. </span></div><div><span
style="color: #c5c8c6;">Accepted artifacts require a DOI and will be clearly identified in the published </span></div><div><span
style="color: #c5c8c6;">paper. Details are available on the Artifacts Page (<a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__https://fmcad.org/FMCAD25/cfa__;!!IBzWLUs!SboWkhPexJORaRJIPIaMcroiCn7C1bGrCCGLVRXy12ZCMBAECGrlZrhXOfVp1-MXNkWEUsCmlz3XuQneSJTU-SQzrAjUMH2go3hZwJJHqA9dTw$">https://fmcad.org/FMCAD25/cfa</a>).</span></div>
<div><span style="color: #c5c8c6;">Accepted papers are published by TU Wien Academic Press under a Creative Commons </span></div><div><span
style="color: #c5c8c6;">license (the authors retain the copyright) and distributed through the IEEE XPlore </span></div><div><span
style="color: #c5c8c6;">digital library. IEEE CEDA is a technical co-sponsor of FMCAD. There are no publication </span></div><div><span
style="color: #c5c8c6;">fees. Authors of accepted contributions will be required to sign the FMCAD copyright </span></div><div><span
style="color: #c5c8c6;">transfer form found here: <a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__https://fmcad.or.at/pdf/copyright.pdf__;!!IBzWLUs!SboWkhPexJORaRJIPIaMcroiCn7C1bGrCCGLVRXy12ZCMBAECGrlZrhXOfVp1-MXNkWEUsCmlz3XuQneSJTU-SQzrAjUMH2go3hZwJJ48yUbmg$">https://fmcad.or.at/pdf/copyright.pdf</a>.</span></div><div><span
style="color: #c5c8c6;">For each accepted paper, at least one unique author must register for the conference. </span></div><div><span
style="color: #c5c8c6;">Moreover, authors of accepted papers ensure that at least one of them will attend </span></div><div><span
style="color: #c5c8c6;">the conference and present the work.</span></div>
<div><span style="color: #d0b344;font-weight: bold;">## Student Forum</span></div><div><span
style="color: #c5c8c6;">Continuing the tradition of the previous years, FMCAD 2025 will host a Student Forum </span></div><div><span
style="color: #c5c8c6;">that provides a platform for graduate students at any career stage to introduce their </span></div><div><span
style="color: #c5c8c6;">research to the wider Formal Methods community, and solicit feedback.</span></div>
<div><span style="color: #c5c8c6;">Submissions for the student forum must be short reports describing research ideas </span></div><div><span
style="color: #c5c8c6;">or ongoing work that the student is currently pursuing, and must be within the scope </span></div><div><span
style="color: #c5c8c6;">of FMCAD. Work that has been partly published previously might be considered; the </span></div><div><span
style="color: #c5c8c6;">novel aspect to be addressed in future work must be clearly described in such cases. </span></div>
<div><span style="color: #c5c8c6;">All submissions will be reviewed by a selected group of FMCAD student forum committee </span></div><div><span
style="color: #c5c8c6;">members. Details are available on the Student Forum Page (<a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__https://fmcad.org/FMCAD25/student_forum__;!!IBzWLUs!SboWkhPexJORaRJIPIaMcroiCn7C1bGrCCGLVRXy12ZCMBAECGrlZrhXOfVp1-MXNkWEUsCmlz3XuQneSJTU-SQzrAjUMH2go3hZwJLE0rJ3iA$">https://fmcad.org/FMCAD25/student_forum</a>).</span></div>
<div><span style="color: #d0b344;font-weight: bold;">## FMCAD 2025 Committees</span></div><div><span
style="color: #d0b344;font-weight: bold;">### Program Chair</span></div><div><span
style="color: #c5c8c6;">Ahmed Irfan, SRI, CA, USA </span></div><div><span
style="color: #c5c8c6;">Daniela Kaufmann, TU Wien, Austria</span></div>
<div><span style="color: #d0b344;font-weight: bold;">### Program Committee</span></div><div><span
style="color: #c5c8c6;">Guy Amir, Cornell University</span></div><div><span
style="color: #c5c8c6;">Erika Ábrahám, RWTH Aachen University</span></div><div><span
style="color: #c5c8c6;">Kshitij Bansal, Google</span></div><div><span
style="color: #c5c8c6;">Haniel Barbosa, Universidade Federal de Minas Gerais</span></div><div><span
style="color: #c5c8c6;">Per Bjesse, Synopsys Inc.</span></div><div><span
style="color: #c5c8c6;">Nikolaj Bjørner, Microsoft</span></div><div><span
style="color: #c5c8c6;">Martin Blicha, University of Lugano</span></div><div><span
style="color: #c5c8c6;">Roderick Bloem, Graz University of Technology</span></div><div><span
style="color: #c5c8c6;">Rayna Dimitrova, CISPA Helmholtz Center for Information Security</span></div><div><span
style="color: #c5c8c6;">Supratik Chakraborty, IIT Bombay</span></div><div><span
style="color: #c5c8c6;">Aleksandar Chakarov, Phase Change Software LLC</span></div><div><span
style="color: #c5c8c6;">Pascal Fontaine, Université de Liège</span></div><div><span
style="color: #c5c8c6;">Katalin Fazekas, TU Wien</span></div><div><span
style="color: #c5c8c6;">Divya Gopinath, NASA Ames (KBR Inc.)</span></div><div><span
style="color: #c5c8c6;">Alberto Griggio, Fondazione Bruno Kessler</span></div><div><span
style="color: #c5c8c6;">Arie Gurfinkel, University of Waterloo</span></div><div><span
style="color: #c5c8c6;">Liana Hadarean, Amazon Web Services</span></div><div><span
style="color: #c5c8c6;">Paula Herber, University of Münster</span></div><div><span
style="color: #c5c8c6;">Osman Hasan, National University of Sciences and Technology (NUST)</span></div><div><span
style="color: #c5c8c6;">Marijn Heule, Carnegie Mellon University</span></div><div><span
style="color: #c5c8c6;">Antti Hyvärinen, Certora</span></div><div><span
style="color: #c5c8c6;">Alexey Ignatiev, Monash University</span></div><div><span
style="color: #c5c8c6;">Mitesh Jain, Rivos Inv.</span></div><div><span
style="color: #c5c8c6;">Mikolas Janota, Czech Technical University in Prague</span></div><div><span
style="color: #c5c8c6;">Susmit Jha, SRI International</span></div><div><span
style="color: #c5c8c6;">Martin Jonas, Masaryk University</span></div><div><span
style="color: #c5c8c6;">Jianwen Li, East China Normal University</span></div><div><span
style="color: #c5c8c6;">Enrico Magnago, Amazon Web Services</span></div><div><span
style="color: #c5c8c6;">Sergio Mover, Ecole Polytechnique</span></div><div><span
style="color: #c5c8c6;">Antonina Nepeivoda, Program System Institute of RAS</span></div><div><span
style="color: #c5c8c6;">Aina Niemetz, Stanford University</span></div><div><span
style="color: #c5c8c6;">Mathias Preiner, Stanford University</span></div><div><span
style="color: #c5c8c6;">Stefan Ratschan, Czech Academy of Sciences</span></div><div><span
style="color: #c5c8c6;">Kristin Rozier, Iowa State University</span></div><div><span
style="color: #c5c8c6;">Philipp Rümmer, University of Regensburg and Uppsala University</span></div><div><span
style="color: #c5c8c6;">Mark Santolucito, Barnard College</span></div><div><span
style="color: #c5c8c6;">Christoph Scholl, University of Freiburg</span></div><div><span
style="color: #c5c8c6;">Martina Seidl, Johannes Kepler University Linz</span></div><div><span
style="color: #c5c8c6;">Natarajan Shankar, SRI International</span></div><div><span
style="color: #c5c8c6;">Natasha Sharygina, University of Lugano</span></div><div><span
style="color: #c5c8c6;">Anna Slobodova, ARM</span></div><div><span
style="color: #c5c8c6;">Mate Soos, Ethereum Foundation</span></div><div><span
style="color: #c5c8c6;">Christoph Sticksel, The MathWorks</span></div><div><span
style="color: #c5c8c6;">Nestan Tsiskaridze, Stanford University</span></div><div><span
style="color: #c5c8c6;">Ashish Tiwari, Microsoft</span></div><div><span
style="color: #c5c8c6;">Georg Weissenbacher, TU Wien</span></div><div><span
style="color: #c5c8c6;">Andrew Wu, Amherst College</span></div><div><span
style="color: #c5c8c6;">Nisansala Yatapanage, Australian National University</span></div><div><span
style="color: #c5c8c6;">Emily Yu, Institute of Science and Technology Austria</span></div><div><span
style="color: #c5c8c6;">Cunxi Yu, University of Maryland</span></div><div><span
style="color: #c5c8c6;">Zhen Zhang, Utah State University</span></div><div><span
style="color: #c5c8c6;">Hongce Zhang, Hong Kong University of Science and Technology (Guangzhou)</span></div><div><span
style="color: #c5c8c6;">Yoni Zohar, Bar-Ilan University</span></div>
<div><span style="color: #d0b344;font-weight: bold;">### Local Chair</span></div><div><span
style="color: #c5c8c6;">Stéphane Graham-Lengrand, SRI, CA, USA</span></div>
<div><span style="color: #d0b344;font-weight: bold;">### Registration Chair</span></div><div><span
style="color: #c5c8c6;">Jenny McNeill, SRI, CA, USA</span></div>
<div><span style="color: #d0b344;font-weight: bold;">### Student Forum Chairs</span></div><div><span
style="color: #c5c8c6;">Tanja Schindler, University of Basel, Switzerland </span></div><div><span
style="color: #c5c8c6;">Lee A. Barnett, AWS, CA, USA</span></div>
<div><span style="color: #d0b344;font-weight: bold;">### Sponsorship Chair:</span></div><div><span
style="color: #c5c8c6;">Alex Ozdemir, Stanford University, CA, USA</span></div>
<div><span style="color: #d0b344;font-weight: bold;">### Publication Chair</span></div><div><span
style="color: #c5c8c6;">Georg Weissenbacher, TU Wien, Austria</span></div>
<div><span style="color: #d0b344;font-weight: bold;">### Web Chair</span></div><div><span
style="color: #c5c8c6;">Thomas Hader, TU Wien, Austria</span></div>
<div><span style="color: #d0b344;font-weight: bold;">### FMCAD Steering Committee</span></div><div><span
style="color: #c5c8c6;">Clark Barrett, Stanford University, CA, USA </span></div><div><span
style="color: #c5c8c6;">Armin Biere, University of Freiburg, Germany </span></div><div><span
style="color: #c5c8c6;">Ruzica Piskac, Yale University, USA </span></div><div><span
style="color: #c5c8c6;">Anna Slobodova, ARM, USA </span></div><div><span
style="color: #c5c8c6;">Georg Weissenbacher, TU Wien, Austria</span></div>
</div>
<p></p>
</body>
</html>