Skip to content

ICFEM 2026

International Conference on Formal Engineering Methods

Software Engineering

Cycle closed, awaiting the next call

All deadlines

AbstractJun 22, 2026est.
Paper submissionJun 22, 2026est.

From past proceedings

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

Full proceedings stats →

Papers in 2025

21

main DBLP volume

5-year change

+5%

vs 2020

Papers, all years

819

26 years since 1997

Authors per paper

3.7

3.3 in 2015

By an entirely new team

33%

of 2025 papers

Papers per year1997 to 2025
1997: 32 papers1998: 22 papers2000: 22 papers2002: 62 papers2003: 37 papers2004: 39 papers2005: 33 papers2006: 41 papers2007: 21 papers2008: 23 papers2009: 38 papers2010: 45 papers2011: 43 papers2012: 34 papers2013: 29 papers2014: 29 papers2015: 27 papers2016: 29 papers2017: 29 papers2018: 37 papers2019: 37 papers2020: 20 papers2022: 25 papers2023: 22 papers2024: 22 papers2025: 21 papers
Read the 2025 proceedingsProceedings ↗DBLP ↗

Top keywords, 2025

formalmodelingverificationconstructionformal modelinglanguagelinearllmsprotocolsprovingrequirementssmt

Venues like ICFEM

  1. TASE Theoretical Aspects of Software Engineering0.29automataevent-bformaltimed automata
  2. FM International Symposium on Formal Methods0.24formalautomataverificationverifying
  3. SETTA Symposium on Dependable Software Engineering: Theories, Tools and Applications0.23formalformal verificationspecificationsverification
  4. CAV International Conference on Computer-Aided Verification0.22verificationcheckingverifyingltl

Most published at ICFEM

  1. Jun Sun2002 to 202540
  2. Jin Song Dong1997 to 202435
  3. Yang Liu2006 to 202229
  4. Shengchao Qin2002 to 202419
  5. Sofiène Tahar2000 to 202412

Who publishes here

2024 to 2025 · papers count once per institution on them

Academia 75%Industry 0%Government and other 25%

Institutions

  1. 1Peking University🇨🇳4
  2. 2Zhejiang University🇨🇳4
  3. 3Centre National de la Recherche Scientifique🇫🇷3
  4. 4Xidian University🇨🇳3
  5. 5East China Normal University🇨🇳3
  6. 6National University of Defense Technology🇨🇳3
  7. 7Chinese Academy of Sciences🇨🇳3
  8. 8University of Chinese Academy of Sciences🇨🇳3

Countries

  1. China17
  2. France2
  3. Australia1
  4. Germany1
  5. Denmark1
  6. United Kingdom1

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.