FM Acceptance Rate and Submission Statistics

International Symposium on Formal Methods is tracked by CS Conf Stats as a FMV conference. The dataset covers 23 events from 1993-2026.

FM 2026 has 45 accepted papers recorded, and was held in Tokyo, Japan.

Latest Complete Rate

21.7%

2024: 31 accepted / 143 submitted

Years Covered

1993-2026

Discipline

FMV

Formal Verification, Model Checking, Theorem Proving

Submission Trend

+30.0%

Last 5 events (2018-2024): 110 → 143 submissions (+33).

Yearly Statistics

Year	Location	Accepted	Submitted	Acceptance Rate	Second Track	Note
2026	Tokyo, Japan	45	N/A	N/A
2024	Milan, Italy	31	143	21.7%	8 / 21 (38.1%)
2023	Lubeck, Germany	18	75	24.0%	5 / 8 (62.5%)
2021	Online, Online	35	131	26.7%		Include 2 short tool papers.
2019	Porto, Portugal	37	129	28.7%		Include 2 short tool papers.
2018	Oxford, UK	35	110	31.8%
2016	Limassol, Cyprus	43	162	26.5%
2015	Oslo, Norway	32	124	25.8%
2014	Singapore, Singapore	38	150	25.3%		Over 150, including 7 for industry.
2012	Paris, France	35	132	26.5%		Including 7 tool papers.
2011	Limerick, Ireland	29	101	28.7%
2009	Eindhoven, The Netherlands	45	139	32.4%
2008	Turku, Finland	23	106	21.7%
2006	Hamilton, Canada	36	145	24.8%
2005	Newcastle upon Tyne, UK	31	130	23.8%
2003	Pisa, Italy	44	144	30.6%
2002	Copenhagen, Denmark	31	95	32.6%
2001	Berlin, Germany	32	72	44.4%
1999	Toulouse, France	92	259	35.5%
1997	Graz, Austria	35	97	36.1%
1996	Oxford, UK	35	103	34.0%
1994	Barcelona, Spain	32	150	21.3%
1993	Odense, Denmark	39	140	27.9%		Over 140 submissions of various kinds, accepted 7 industrial usage reports and 32 papers.

Full Title: International Symposium on Formal Methods
Main Discipline: Formal Verification, Model Checking, Theorem Proving
Other Topics: Specification Languages, SMT/SAT Solving, Runtime Verification, Abstract Interpretation, Safety-Critical & Cyber-Physical Systems
Parent Organization: Formal Methods Europe
Notes: No conference-level note is recorded.

Related FMV conferences: CAV, LICS, TACAS.