{
 "generated": "2026-08-13T11:47:39.411913+00:00",
 "source": "https://www.conferences-computer.science/nfm/",
 "licence": "CC BY-SA 4.0",
 "acronym": "NFM",
 "name": "NASA Formal Methods Symposium",
 "count": 13,
 "editions": [
  {
   "slug": "nfm",
   "acronym": "NFM",
   "year": "2012",
   "edition": null,
   "title": "NASA Formal Methods Symposium",
   "url": null,
   "page": "https://www.conferences-computer.science/nfm/2012/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": null,
   "paper_deadline_announced": null,
   "paper_extended_days": null,
   "notification": null,
   "timezone": null,
   "event_start": null,
   "event_end": null,
   "city": null,
   "country": null,
   "continent": null,
   "lat": null,
   "lon": null,
   "online": false,
   "publisher": null,
   "license": null,
   "doi": null,
   "core_rank": "absent",
   "submitted": 93,
   "accepted": 36,
   "acceptance_rate": 38.7,
   "format": null,
   "dblp": "nfm"
  },
  {
   "slug": "nfm",
   "acronym": "NFM",
   "year": "2015",
   "edition": 7,
   "title": "7th NASA Formal Methods Symposium",
   "url": "http://www.NASAFormalMethods.org/nfm2015",
   "page": "https://www.conferences-computer.science/nfm/2015/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2014-11-18",
   "paper_deadline_announced": "2014-11-18",
   "paper_extended_days": 0,
   "notification": "2015-01-12",
   "timezone": null,
   "event_start": "2015-04-27",
   "event_end": "2015-04-29",
   "city": "Pasadena, California, USA",
   "country": "US",
   "continent": "NA",
   "lat": 34.1478,
   "lon": -118.1445,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": 108,
   "accepted": 33,
   "acceptance_rate": 30.6,
   "format": "15 pages LNCS (regular) / 6 pages (short)",
   "dblp": "nfm"
  },
  {
   "slug": "nfm",
   "acronym": "NFM",
   "year": "2016",
   "edition": 8,
   "title": "8th NASA Formal Methods Symposium",
   "url": "http://crisys.cs.umn.edu/nfm2016/",
   "page": "https://www.conferences-computer.science/nfm/2016/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2016-02-19",
   "paper_deadline_announced": "2016-02-19",
   "paper_extended_days": 0,
   "notification": "2016-04-08",
   "timezone": null,
   "event_start": "2016-06-07",
   "event_end": "2016-06-09",
   "city": "Minneapolis, MN, USA",
   "country": "US",
   "continent": "NA",
   "lat": 44.9778,
   "lon": -93.265,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages LNCS (regular) / 6 pages (short/tool/experience report)",
   "dblp": "nfm"
  },
  {
   "slug": "nfm",
   "acronym": "NFM",
   "year": "2017",
   "edition": 9,
   "title": "9th NASA Formal Methods Symposium",
   "url": "http://ti.arc.nasa.gov/events/nfm-2017/",
   "page": "https://www.conferences-computer.science/nfm/2017/",
   "status": null,
   "abstract_deadline": "2016-11-28",
   "paper_deadline": "2016-12-07",
   "paper_deadline_announced": "2016-12-05",
   "paper_extended_days": 2,
   "notification": "2017-02-03",
   "timezone": null,
   "event_start": "2017-05-16",
   "event_end": "2017-05-18",
   "city": "Moffett Field, CA, USA",
   "country": "US",
   "continent": "NA",
   "lat": 37.4144,
   "lon": -122.048,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages LNCS (regular) / 6 pages (short/tool/experience report)",
   "dblp": "nfm"
  },
  {
   "slug": "nfm",
   "acronym": "NFM",
   "year": "2018",
   "edition": 10,
   "title": "10th NASA Formal Methods Symposium",
   "url": "https://shemesh.larc.nasa.gov/NFM2018/",
   "page": "https://www.conferences-computer.science/nfm/2018/",
   "status": null,
   "abstract_deadline": "2017-12-01",
   "paper_deadline": "2017-12-11",
   "paper_deadline_announced": "2017-11-20",
   "paper_extended_days": 21,
   "notification": "2018-01-23",
   "timezone": null,
   "event_start": "2018-04-17",
   "event_end": "2018-04-19",
   "city": "Newport News, VA, USA",
   "country": "US",
   "continent": "NA",
   "lat": 37.0871,
   "lon": -76.473,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": 92,
   "accepted": 31,
   "acceptance_rate": 33.7,
   "format": "15 pages LNCS (regular) / 6 pages (short/tool/experience report)",
   "dblp": "nfm"
  },
  {
   "slug": "nfm",
   "acronym": "NFM",
   "year": "2019",
   "edition": 11,
   "title": "11th NASA Formal Methods Symposium",
   "url": "https://robonaut.jsc.nasa.gov/R2/pages/nfm2019.html",
   "page": "https://www.conferences-computer.science/nfm/2019/",
   "status": null,
   "abstract_deadline": "2018-12-10",
   "paper_deadline": "2018-12-17",
   "paper_deadline_announced": "2018-12-14",
   "paper_extended_days": 3,
   "notification": "2019-02-22",
   "timezone": null,
   "event_start": "2019-05-07",
   "event_end": "2019-05-09",
   "city": "Rice University, Houston, Texas, USA",
   "country": "US",
   "continent": "NA",
   "lat": 29.7604,
   "lon": -95.3698,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages LNCS (regular) / 6 pages (short/tool/experience report) + references",
   "dblp": "nfm"
  },
  {
   "slug": "nfm",
   "acronym": "NFM",
   "year": "2020",
   "edition": 12,
   "title": "12th NASA Formal Methods Symposium",
   "url": "https://ti.arc.nasa.gov/events/nfm-2020/",
   "page": "https://www.conferences-computer.science/nfm/2020/",
   "status": null,
   "abstract_deadline": "2019-12-24",
   "paper_deadline": "2019-12-30",
   "paper_deadline_announced": "2019-12-19",
   "paper_extended_days": 11,
   "notification": "2020-02-20",
   "timezone": null,
   "event_start": "2020-05-11",
   "event_end": "2020-05-15",
   "city": "Moffett Field, CA, USA",
   "country": "US",
   "continent": "NA",
   "lat": 37.4144,
   "lon": -122.048,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages LNCS (regular) / 6 pages (short/tool/experience report) + references",
   "dblp": "nfm"
  },
  {
   "slug": "nfm",
   "acronym": "NFM",
   "year": "2021",
   "edition": 13,
   "title": "13th NASA Formal Methods Symposium",
   "url": "https://shemesh.larc.nasa.gov/nfm2021/",
   "page": "https://www.conferences-computer.science/nfm/2021/",
   "status": null,
   "abstract_deadline": "2020-12-07",
   "paper_deadline": "2020-12-14",
   "paper_deadline_announced": "2020-12-04",
   "paper_extended_days": 10,
   "notification": "2021-02-19",
   "timezone": null,
   "event_start": "2021-05-24",
   "event_end": "2021-05-28",
   "city": null,
   "country": null,
   "continent": null,
   "lat": null,
   "lon": null,
   "online": true,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages LNCS (regular) / 6 pages (short/tool/experience report) + references",
   "dblp": "nfm"
  },
  {
   "slug": "nfm",
   "acronym": "NFM",
   "year": "2022",
   "edition": 14,
   "title": "14th NASA Formal Methods Symposium",
   "url": "https://nfm2022.caltech.edu/",
   "page": "https://www.conferences-computer.science/nfm/2022/",
   "status": null,
   "abstract_deadline": "2022-01-03",
   "paper_deadline": "2022-01-10",
   "paper_deadline_announced": "2021-12-10",
   "paper_extended_days": 31,
   "notification": "2022-03-14",
   "timezone": null,
   "event_start": "2022-05-24",
   "event_end": "2022-05-27",
   "city": "Pasadena, California, USA (hybrid)",
   "country": "US",
   "continent": "NA",
   "lat": 34.1478,
   "lon": -118.1445,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": 35.0,
   "format": "15 pages LNCS (regular) / 6 pages (short/tool/experience report) + references",
   "dblp": "nfm"
  },
  {
   "slug": "nfm",
   "acronym": "NFM",
   "year": "2023",
   "edition": 15,
   "title": "15th NASA Formal Methods Symposium",
   "url": "https://conf.researchr.org/home/nfm-2023",
   "page": "https://www.conferences-computer.science/nfm/2023/",
   "status": null,
   "abstract_deadline": "2023-01-06",
   "paper_deadline": "2023-01-06",
   "paper_deadline_announced": "2022-12-16",
   "paper_extended_days": 21,
   "notification": "2023-03-06",
   "timezone": null,
   "event_start": "2023-05-16",
   "event_end": "2023-05-18",
   "city": "Houston, Texas, USA",
   "country": "US",
   "continent": "NA",
   "lat": 29.7604,
   "lon": -95.3698,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages LNCS (regular) / 6 pages (short/tool/experience report) + references",
   "dblp": "nfm"
  },
  {
   "slug": "nfm",
   "acronym": "NFM",
   "year": "2024",
   "edition": 16,
   "title": "16th NASA Formal Methods Symposium",
   "url": "https://conf.researchr.org/home/nfm-2024",
   "page": "https://www.conferences-computer.science/nfm/2024/",
   "status": null,
   "abstract_deadline": "2023-12-08",
   "paper_deadline": "2023-12-15",
   "paper_deadline_announced": "2023-12-08",
   "paper_extended_days": 7,
   "notification": "2024-02-16",
   "timezone": null,
   "event_start": "2024-06-04",
   "event_end": "2024-06-06",
   "city": "Moffett Field, California",
   "country": "US",
   "continent": "NA",
   "lat": 37.4144,
   "lon": -122.048,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages LNCS including references (regular) / 6 pages (short/tool/experience report)",
   "dblp": "nfm"
  },
  {
   "slug": "nfm",
   "acronym": "NFM",
   "year": "2025",
   "edition": 17,
   "title": "17th NASA Formal Methods Symposium",
   "url": "https://shemesh.larc.nasa.gov/nfm2025/",
   "page": "https://www.conferences-computer.science/nfm/2025/",
   "status": null,
   "abstract_deadline": "2024-12-13",
   "paper_deadline": "2024-12-22",
   "paper_deadline_announced": "2024-12-13",
   "paper_extended_days": 9,
   "notification": "2025-02-14",
   "timezone": null,
   "event_start": "2025-06-11",
   "event_end": "2025-06-13",
   "city": "Hampton Roads, VA, USA",
   "country": "US",
   "continent": "NA",
   "lat": 36.9312,
   "lon": -76.3452,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages LNCS + references (regular) / 6 pages (short/tool/experience report)",
   "dblp": "nfm"
  },
  {
   "slug": "nfm",
   "acronym": "NFM",
   "year": "2026",
   "edition": 18,
   "title": "18th NASA Formal Methods Symposium",
   "url": "https://nfm2026.github.io/",
   "page": "https://www.conferences-computer.science/nfm/2026/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2026-01-18",
   "paper_deadline_announced": "2026-01-10",
   "paper_extended_days": 8,
   "notification": "2026-03-10",
   "timezone": null,
   "event_start": "2026-05-05",
   "event_end": "2026-05-07",
   "city": "Los Angeles, CA, USA",
   "country": "US",
   "continent": "NA",
   "lat": 34.0522,
   "lon": -118.2437,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "18 pages LNCS + references (regular) / 6 pages (short/tool/experience report)",
   "dblp": "nfm"
  }
 ]
}