Skip to content

FM 2027

International Symposium on Formal Methods

Software Engineering

Deadline not announced

From past proceedings

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

Full proceedings stats →

Papers in 2024

67

main DBLP volume

5-year change

+46%

vs 2019

Papers, all years

1,268

31 years since 1978

Authors per paper

4.1

3.2 in 2014

By an entirely new team

34%

of 2024 papers

Papers per year1978 to 2024
1978: 6 papers1979: 8 papers1981: 17 papers1987: 22 papers1988: 29 papers1990: 27 papers1991: 54 papers1993: 40 papers1994: 41 papers1996: 38 papers1997: 35 papers1998: 28 papers1999: 112 papers2001: 35 papers2002: 34 papers2003: 49 papers2005: 40 papers2006: 45 papers2008: 32 papers2009: 53 papers2011: 32 papers2012: 38 papers2014: 49 papers2015: 43 papers2016: 50 papers2018: 46 papers2019: 46 papers2021: 46 papers2023: 38 papers2024: 67 papers
Read the 2024 proceedingsVolume 1 ↗DBLP ↗Volume 2 ↗DBLP ↗

Top keywords, 2024

verificationprogramsautomatedformalsynthesisautomatapropertiesreachabilitybounded model checkingeliminationocamlreal arithmetic

Venues like FM

  1. CAV International Conference on Computer-Aided Verification0.35verificationverification toolverifyingreachability
  2. ICFEM International Conference on Formal Engineering Methods0.24formalautomataverificationverifying
  3. ATVA International Symposium on Automated Technology for Verification and Analysis0.22automatatemporal logicchiverified
  4. TASE Theoretical Aspects of Software Engineering0.21automataformalverificationverifying

Most published at FM

  1. Jun Sun2005 to 202616
  2. Peter Gorm Larsen1991 to 202615
  3. Jin Song Dong1999 to 202413
  4. Yang Liu2009 to 201913
  5. Augusto Sampaio1990 to 201412

Who publishes here

2024 to 2026 · papers count once per institution on them

Academia 57%Industry 1%Government and other 41%

Institutions

  1. 1Institute of Software🇨🇳16
  2. 2Chinese Academy of Sciences🇨🇳15
  3. 3Peking University🇨🇳9
  4. 4University of Chinese Academy of Sciences🇨🇳8
  5. 5State Key Laboratory of Computer Science8
  6. 6Helmholtz Center for Information Security🇩🇪6
  7. 7RWTH Aachen University🇩🇪6
  8. 8Radboud University Nijmegen🇳🇱4

Countries

  1. China17
  2. Germany14
  3. United Kingdom8
  4. United States7
  5. France6
  6. Netherlands6

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.