FM

International Symposium on Formal Methods

Editions listed11 Covered2012–2027 Rank nowCORE B ProceedingsFree to read since 2024 Chairs & speakers6 of 11 women, 3 expected

Editions

Year	Ed.	Held	Where	Paper deadline	Accepted	Rate
2027 open	28	18–22 Oct 2027	Athens 🇬🇷	15 Apr	—	—
2026	27	20–22 May 2026	Tōkyō 🇯🇵	2 Dec	66 / 272	24%
2024	26	9–13 Sep 2024	Milan 🇮🇹	19 Apr	66 / 219	30%
2023	25	6–10 Mar 2023	Lübeck 🇩🇪	11 Sep	—	—
2021	24	20–26 Nov 2021	Online	6 May	—	—
2019	23	7–11 Oct 2019	Porto 🇵🇹	11 Apr	—	—
2018	22	15–17 Jul 2018	Oxford 🏴󠁧󠁢󠁥󠁮󠁧󠁿	22 Jan	35 / 110	32%
2016	21	7–11 Nov 2016	Limassol 🇨🇾	30 May	—	—
2015	20	22–26 Jun 2015	Oslo 🇳🇴	9 Jan	—	—
2014	19	12–16 May 2014	Singapore 🇸🇬	—	45 / 150	30%
2013 — not recorded here, which does not mean the conference did not meet
2012	—		—	—	35 / 132	27%

A missing year does not mean the conference did not meet: coverage before 2012 has not been verified.

Acceptance rate over time

0%30%60%

2026 24% 66/272
2024 30% 66/219
2018 32% 35/110
2014 30% 45/150
2012 27% 35/132

Scale runs to 60%; the mid-line marks 30%. No figure published for 2015, 2016, 2019, 2021, 2023, 2027.

Submissions

2026 272 summed
2024 219 summed
2018 110
2014 150
2012 132

Scaled to this conference's own busiest year (272), so the shape is comparable across its editions but not between conferences.

Who led each edition

Chairs and invited speakers

all 2 55% of 11
2027 3 of 5
2023 3 of 6

Across 2 editions, 6 of 11 chairs and invited speakers were women or of another gender — 55%. At this site's own rate of 29%, 3 would be the expectation.

Only editions with counted people appear: an edition recorded as mixed and nothing more has no arithmetic behind it. The total counts people, not years, so an edition with eight chairs weighs more than one with two. The committee is reported beside the platform, never added to it. The rate this is set against, 29%, is pooled from 362 chairs and invited speakers across 81 editions on this site — an observation about the field as recorded here, not a target.

How it has reviewed and published

Practice	15	16	18	19	21	23	24	26	27
Proceedings	•	•	•	•	•	•	•	•	•
Anonymity						D	S	S
Artifact evaluation								•	•

Practice

Proceedings

•

Anonymity

Artifact evaluation

•

A blank cell means nobody has checked that year, not that the answer is no. Licences are read as recorded on the edition, never inherited from the publisher.

Where it has met

Loads tiles from OpenStreetMap, which will see your IP address.

9 cities. 20142027

9 cities, 9 countries, 2 continents. Met online 1 time.

CORE rank over time

A 2008–2025 B 2026–

Ranked since the first CORE round.

Timing

Closes: anywhere between 11 Sep and 6 May, over the last 6 editions.
Decision: 70 days after the deadline (52–77 over 9 editions)
Then: 103 days to the conference (91–127)

237 days between the earliest and the latest of the last 6: this one moves.

Deadline habits

Not known: 9 editions

An edition counts as firm only when it was checked; a deadline with no earlier date recorded is counted as not known, not as firm.

Elsewhere

DBLP: fm ↗
CORE: portal entry 540 ↗
Calendar: Subscribe to FM
Data: All editions as JSON

Notes carried over

Acceptance: 29% ((18+5+3+1+1)/(75+8)) in 2024.

Extensions: one week (2012), 48 hours (2014)

Kept verbatim from the old site while it is being turned into structured data.

Spotted something wrong on this page? Tell us, with a source if you have one ↗

Data entirely hand-typed, one call for papers at a time. There is no scraper behind any of this: I read the call for papers and/or the Web sites and type the dates in, in the gaps between other work, and with the hope it is useful to others. Organisers might then move deadlines without telling anyone, which may lead to inconsistencies. So, treat this small page as a well-meaning notebook rather than an authority 🤓