conferences.computer.science

All conferences / NFM

NFM

NASA Formal Methods Symposium

Editions listed14 Covered2012–2027 Rank nowCORE absent ProceedingsPaywalled Chairs & speakers2 of 21 women, 6 expected

Editions

YearEd.HeldWhere Paper deadlineAcceptedRate
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%
  1. 2026 42% 25/60
  2. 2025 37% 24/65
  3. 2022 33% 39/118
  4. 2019 39% 28/72
  5. 2018 34% 31/92
  6. 2017 40% 31/77
  7. 2015 31% 33/108
  8. 2012 39% 36/93

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

Submissions

  1. 2026 60
  2. 2025 65
  3. 2022 118 summed
  4. 2019 72 summed
  5. 2018 92
  6. 2017 77 summed
  7. 2015 108
  8. 2012 93

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

Who led each edition

Well below

2 of 21 chairs and invited speakers were women or of another gender, against 6 at this site's own rate of 29%. A shortfall this large would happen by chance less than once in twenty times.

Chairs and invited speakers

  1. all 3 10% of 21
  2. 2027 1 of 9
  3. 2026 1 of 9
  4. 2022 0 of 3

Across 3 editions, 2 of 21 chairs and invited speakers were women or of another gender — 10%. At this site's own rate of 29%, 6 would be the expectation. A shortfall this large would happen by chance less than once in twenty times.

Only editions with counted people appear: an edition recorded as mixed and nothing more has no arithmetic behind it, and 1 of them is left out on that ground. 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 15161718192021222324252627
Proceedings • • • • • • • • • • • • •
Anonymity                     S S S
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.

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 🤓