All conferences / NFM / 2015

NFM 2015

Name: NFM 2015
Start: 2015-04-27
End: 2015-04-29
Location: Pasadena, California, USA

7th NASA Formal Methods Symposium

Held27–29 Apr 2015 WherePasadena 🇺🇸 RankCORE absent Website www.NASAFormalMethods.org/nfm2015 ↗

Submission timeline

18 Nov 2014 Full paper ~~10 Nov 2014~~ → 18 Nov 2014 +8 days
12 Jan 2015 Notification

27 Apr 2015 Conference opens

What to submit

Format: 15 pages LNCS (regular) / 6 pages (short)
Proceedings: Springer LNCS — Paywalled, for-profit

No registration fees.

Where

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

Pasadena, California, USA 🇺🇸

Acceptance rate

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.

Nearby editions

Previous: NFM 2012
Next: NFM 2016 — Minneapolis 🇺🇸
Series: All 14 listed editions of NFM →

Elsewhere

DBLP: nfm ↗
Calendar: Subscribe to NFM
Data: This series as JSON

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 🤓