Skip to content

FMCAD 2026

Formal Methods in Computer-Aided Design

Theory

Cycle closed, awaiting the next call

All deadlines

AbstractMay 4, 2026est.
Paper submissionMay 11, 2026est.

From past proceedings

Papers in FMCAD's main DBLP volume each year, not official acceptance counts.

Full proceedings stats →

Papers in 2025

33

main DBLP volume

5-year change

-3%

vs 2020

Papers, all years

827

25 years since 1996

Authors per paper

3.5

2.7 in 2015

By an entirely new team

18%

of 2025 papers

Papers per year1996 to 2025
1996: 32 papers1998: 34 papers2000: 32 papers2002: 23 papers2004: 30 papers2006: 26 papers2007: 31 papers2008: 29 papers2009: 30 papers2010: 39 papers2011: 34 papers2012: 31 papers2013: 36 papers2014: 35 papers2015: 29 papers2016: 34 papers2017: 36 papers2018: 29 papers2019: 33 papers2020: 34 papers2021: 38 papers2022: 45 papers2023: 39 papers2024: 35 papers2025: 33 papers
Read the 2025 proceedingsProceedings ↗DBLP ↗

Top keywords, 2025

verificationsynthesisautomatedformallanguagesmtsoftwaresolverawscircuitsconstraintshardware

Venues like FMCAD

  1. CAV International Conference on Computer-Aided Verification0.26smtverificationformallyhardware model checking
  2. SAT International Conference on Theory and Applications of Satisfiability Testing0.18satdqbfsmtsat solvers
  3. FM International Symposium on Formal Methods0.17verificationformallyformalverified
  4. ICFEM International Conference on Formal Engineering Methods0.16verificationformalsmtformal verification

Most published at FMCAD

  1. Clark W. Barrett1996 to 202529
  2. Arie Gurfinkel2004 to 202523
  3. Armin Biere1998 to 202521
  4. Alessandro Cimatti2004 to 202418
  5. Jason Baumgartner2004 to 202418

Who publishes here

2024 · papers count once per institution on them

Academia 33%Industry 33%Government and other 33%

Institutions

  1. 1Université Paris-Saclay🇫🇷1
  2. 2Mitsubishi Electric (France)🇫🇷1
  3. 3TOCCATA: Certified Programs, Certified Tools, Certified Floating-Point Computations🇫🇷1

Countries

    Affiliations from OpenAlex for the papers DBLP lists. A paper with authors from three institutions counts for each of them; the split above is over the top institutions.