NFM

NASA Formal Methods Symposium

Editions listed13 Covered2012–2026 Rank nowCORE absent

Editions

Year	Ed.	Held	Where	Paper deadline	Accepted	Rate
2026	18	5–7 May 2026	Los Angeles 🇺🇸	18 Jan +8 days	—	—
2025	17	11–13 Jun 2025	Hampton Roads 🇺🇸	22 Dec +9 days	—	—
2024	16	4–6 Jun 2024	Moffett Field 🇺🇸	15 Dec +7 days	—	—
2023	15	16–18 May 2023	Houston 🇺🇸	6 Jan +21 days	—	—
2022	14	24–27 May 2022	Pasadena 🇺🇸	10 Jan +31 days	—	35%
2021	13	24–28 May 2021	Online	14 Dec +10 days	—	—
2020	12	11–15 May 2020	Moffett Field 🇺🇸	30 Dec +11 days	—	—
2019	11	7–9 May 2019	Rice University 🇺🇸	17 Dec +3 days	—	—
2018	10	17–19 Apr 2018	Newport News 🇺🇸	11 Dec +21 days	31 / 92	34%
2017	9	16–18 May 2017	Moffett Field 🇺🇸	7 Dec +2 days	—	—
2016	8	7–9 Jun 2016	Minneapolis 🇺🇸	19 Feb	—	—
2015	7	27–29 Apr 2015	Pasadena 🇺🇸	18 Nov	33 / 108	31%
2013, 2014 — not recorded here, which does not mean the conference did not meet
2012	—		—	—	36 / 93	39%

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%

2022 35%
2018 34% 31/92
2015 31% 33/108
2012 39% 36/93

Scale runs to 60%; the mid-line marks 30%. No figure published for 2016, 2017, 2019, 2020, 2021, 2023, 2024, 2025, 2026.

CORE rank over time

absent 2012–

Only the current rank is recorded; earlier rounds have not been checked.

Deadline habits

Extended: 10 of 10 editions
Typical: 2–31 days
Longest: 31 days
Not known: 2 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: nfm ↗
Calendar: Subscribe to NFM
Data: All editions as JSON

Notes carried over

Acceptance: 39% (36/93) in 2012, 31% (33/108) in 2015, 40% (23 regular + 8 short / 60 regular + 17 short) in 2017, 34% (31/92) in 2018, 39% (20 long + 8 short / 54 long + 18 short) in 2019, 35% in 2022 for long papers (33/93) and 25% for short papers

Extensions: 8 days (2015), 2 days (2017), 21 days (2018), 3 days (2019), 11 days (2020), 10 days (2021), 24+10+4 days (2022), 21 days (2023), 7 days (2024), 9 days (2025), 8 days (2026)

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

Data entirely hand-typed, one call for papers at a time. There is no scraper behind any of this: I read the announcement and type the dates in, in the gaps between other work, and with the hope it is useful to others. Organisers then move deadlines without telling anyone, calls get edited in place, and now and then the typing is simply wrong. Treat this as a well-meaning notebook rather than an authority, and check the conference’s own page before you submit anything you care about.