All conferences / NFM
NFM
NASA Formal Methods Symposium
Editions
| Year | Ed. | Held | Where | Paper deadline | Accepted | Rate |
|---|---|---|---|---|---|---|
| 2027 open | 19 | 11–13 May 2027 | Houston 🇺🇸 | 11 Jan | — | — |
| 2026 | 18 | 5–7 May 2026 | Los Angeles 🇺🇸 | 24 Jan +14 days | 25 / 60 | 42% |
| 2025 | 17 | 11–13 Jun 2025 | Hampton Roads 🇺🇸 | 22 Dec +9 days | 24 / 65 | 37% |
| 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 | 39 / 118 | 33% |
| 2021 | 13 | 24–28 May 2021 | Online | 14 Dec +10 days | — | — |
| 2020 | 12 | 11–15 May 2020 | Online | 30 Dec +11 days | — | — |
| 2019 | 11 | 7–9 May 2019 | Houston 🇺🇸 | 17 Dec +3 days | 28 / 72 | 39% |
| 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 | 31 / 77 | 40% |
| 2016 | 8 | 7–9 Jun 2016 | Minneapolis 🇺🇸 | 19 Feb | — | — |
| 2015 | 7 | 27–29 Apr 2015 | Pasadena 🇺🇸 | 18 Nov +8 days | 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%
- 2026 42% 25/60
- 2025 37% 24/65
- 2022 33% 39/118
- 2019 39% 28/72
- 2018 34% 31/92
- 2017 40% 31/77
- 2015 31% 33/108
- 2012 39% 36/93
Scale runs to 60%; the mid-line marks 30%. No figure published for 2016, 2020, 2021, 2023, 2024, 2027.