<!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: #c5c8c6;"> CALL FOR PAPERS</span></div>
<div><span style="color: #c5c8c6;"> 25th International Conference on Formal Methods in Computer-Aided Design</span></div><div><span
style="color: #c5c8c6;"> FMCAD 2025</span></div>
<div><span style="color: #c5c8c6;"> October 6-10, 2025, SRI Headquarters, Menlo Park, CA, US</span></div>
<div><span style="color: #c5c8c6;"> <a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__https://fmcad.org/FMCAD25/__;!!IBzWLUs!RavNSm8E3ZheiOEzYWIquLC3r_io8kRXwvkvy6Eqyi_4O-mmPU5-ik4SAOBYTOc_aTN4Ik9QgvOkducRt3kxQl40VqqnPVpeqTT4YC5BKgA7-w$">https://fmcad.org/FMCAD25/</a> </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!RavNSm8E3ZheiOEzYWIquLC3r_io8kRXwvkvy6Eqyi_4O-mmPU5-ik4SAOBYTOc_aTN4Ik9QgvOkducRt3kxQl40VqqnPVpeqTT4YC5BKgA7-w$">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!RavNSm8E3ZheiOEzYWIquLC3r_io8kRXwvkvy6Eqyi_4O-mmPU5-ik4SAOBYTOc_aTN4Ik9QgvOkducRt3kxQl40VqqnPVpeqTT4YC7wwgPQ4g$">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 20, 2025</span></div><div><span
style="color: #9aa83a;">*</span><span style="color: #9aa83a;"> Paper Submission Deadline: 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!RavNSm8E3ZheiOEzYWIquLC3r_io8kRXwvkvy6Eqyi_4O-mmPU5-ik4SAOBYTOc_aTN4Ik9QgvOkducRt3kxQl40VqqnPVpeqTT4YC52xQWyLQ$">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!RavNSm8E3ZheiOEzYWIquLC3r_io8kRXwvkvy6Eqyi_4O-mmPU5-ik4SAOBYTOc_aTN4Ik9QgvOkducRt3kxQl40VqqnPVpeqTT4YC70FCTJew$">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!RavNSm8E3ZheiOEzYWIquLC3r_io8kRXwvkvy6Eqyi_4O-mmPU5-ik4SAOBYTOc_aTN4Ik9QgvOkducRt3kxQl40VqqnPVpeqTT4YC7kAUX47A$">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!RavNSm8E3ZheiOEzYWIquLC3r_io8kRXwvkvy6Eqyi_4O-mmPU5-ik4SAOBYTOc_aTN4Ik9QgvOkducRt3kxQl40VqqnPVpeqTT4YC4GyRCfqQ$">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!RavNSm8E3ZheiOEzYWIquLC3r_io8kRXwvkvy6Eqyi_4O-mmPU5-ik4SAOBYTOc_aTN4Ik9QgvOkducRt3kxQl40VqqnPVpeqTT4YC4m3tV9vw$">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;">### 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>