BEGIN:VCALENDAR VERSION:2.0 PRODID:-//conferences-computer.science//EN CALSCALE:GREGORIAN METHOD:PUBLISH X-WR-CALNAME:NFM — deadlines and dates X-WR-CALDESC:Every recorded edition of NFM. https://www.conferences-compute r.science/nfm/ X-PUBLISHED-TTL:PT12H REFRESH-INTERVAL;VALUE=DURATION:PT12H BEGIN:VEVENT UID:nfm-2015-paper@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20141118 DTEND;VALUE=DATE:20141119 SUMMARY:NFM 2015 — paper deadline DESCRIPTION:7th NASA Formal Methods Symposium\nNo time zone stated by the o rganisers\; this site assumes Anywhere on Earth.\nShown as an all-day even t: the deadline is a moment\, not a day\, so check the exact time on the c onference site.\nHeld in Pasadena\, California\, USA.\nConference dates: 2 7–29 Apr 2015.\nhttps://www.conferences-computer.science/nfm/2015/ URL:https://www.conferences-computer.science/nfm/2015/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,NFM END:VEVENT BEGIN:VEVENT UID:nfm-2015-notification@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20150112 DTEND;VALUE=DATE:20150113 SUMMARY:NFM 2015 — notification DESCRIPTION:7th NASA Formal Methods Symposium\nNo time zone stated by the o rganisers\; this site assumes Anywhere on Earth.\nShown as an all-day even t: the deadline is a moment\, not a day\, so check the exact time on the c onference site.\nHeld in Pasadena\, California\, USA.\nConference dates: 2 7–29 Apr 2015.\nhttps://www.conferences-computer.science/nfm/2015/ URL:https://www.conferences-computer.science/nfm/2015/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,NFM END:VEVENT BEGIN:VEVENT UID:nfm-2016-paper@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20160219 DTEND;VALUE=DATE:20160220 SUMMARY:NFM 2016 — paper deadline DESCRIPTION:8th NASA Formal Methods Symposium\nNo time zone stated by the o rganisers\; this site assumes Anywhere on Earth.\nShown as an all-day even t: the deadline is a moment\, not a day\, so check the exact time on the c onference site.\nHeld in Minneapolis\, MN\, USA.\nConference dates: 7–9 Jun 2016.\nhttps://www.conferences-computer.science/nfm/2016/ URL:https://www.conferences-computer.science/nfm/2016/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,NFM END:VEVENT BEGIN:VEVENT UID:nfm-2016-notification@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20160408 DTEND;VALUE=DATE:20160409 SUMMARY:NFM 2016 — notification DESCRIPTION:8th NASA Formal Methods Symposium\nNo time zone stated by the o rganisers\; this site assumes Anywhere on Earth.\nShown as an all-day even t: the deadline is a moment\, not a day\, so check the exact time on the c onference site.\nHeld in Minneapolis\, MN\, USA.\nConference dates: 7–9 Jun 2016.\nhttps://www.conferences-computer.science/nfm/2016/ URL:https://www.conferences-computer.science/nfm/2016/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,NFM END:VEVENT BEGIN:VEVENT UID:nfm-2017-abstract@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20161128 DTEND;VALUE=DATE:20161129 SUMMARY:NFM 2017 — abstract deadline DESCRIPTION:9th NASA Formal Methods Symposium\nNo time zone stated by the o rganisers\; this site assumes Anywhere on Earth.\nShown as an all-day even t: the deadline is a moment\, not a day\, so check the exact time on the c onference site.\nHeld in Moffett Field\, CA\, USA.\nConference dates: 16 –18 May 2017.\nhttps://www.conferences-computer.science/nfm/2017/ URL:https://www.conferences-computer.science/nfm/2017/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,NFM END:VEVENT BEGIN:VEVENT UID:nfm-2017-paper@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20161207 DTEND;VALUE=DATE:20161208 SUMMARY:NFM 2017 — paper deadline DESCRIPTION:9th NASA Formal Methods Symposium\nNo time zone stated by the o rganisers\; this site assumes Anywhere on Earth.\nShown as an all-day even t: the deadline is a moment\, not a day\, so check the exact time on the c onference site.\nExtended from 05 December 2016.\nHeld in Moffett Field\, CA\, USA.\nConference dates: 16–18 May 2017.\nhttps://www.conferences-co mputer.science/nfm/2017/ URL:https://www.conferences-computer.science/nfm/2017/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,NFM END:VEVENT BEGIN:VEVENT UID:nfm-2017-notification@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20170203 DTEND;VALUE=DATE:20170204 SUMMARY:NFM 2017 — notification DESCRIPTION:9th NASA Formal Methods Symposium\nNo time zone stated by the o rganisers\; this site assumes Anywhere on Earth.\nShown as an all-day even t: the deadline is a moment\, not a day\, so check the exact time on the c onference site.\nHeld in Moffett Field\, CA\, USA.\nConference dates: 16 –18 May 2017.\nhttps://www.conferences-computer.science/nfm/2017/ URL:https://www.conferences-computer.science/nfm/2017/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,NFM END:VEVENT BEGIN:VEVENT UID:nfm-2018-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20171201 DTEND;VALUE=DATE:20171202 SUMMARY:NFM 2018 — abstract deadline DESCRIPTION:10th NASA Formal Methods Symposium\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day eve nt: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nExtended from 10 November 2017.\nHeld in Newport News\, VA\, USA.\nConference dates: 17–19 Apr 2018.\nhttps://www.conferences-co mputer.science/nfm/2018/ URL:https://www.conferences-computer.science/nfm/2018/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,NFM END:VEVENT BEGIN:VEVENT UID:nfm-2018-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20171211 DTEND;VALUE=DATE:20171212 SUMMARY:NFM 2018 — paper deadline DESCRIPTION:10th NASA Formal Methods Symposium\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day eve nt: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nExtended from 20 November 2017.\nHeld in Newport News\, VA\, USA.\nConference dates: 17–19 Apr 2018.\nhttps://www.conferences-co mputer.science/nfm/2018/ URL:https://www.conferences-computer.science/nfm/2018/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,NFM END:VEVENT BEGIN:VEVENT UID:nfm-2018-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20180123 DTEND;VALUE=DATE:20180124 SUMMARY:NFM 2018 — notification DESCRIPTION:10th NASA Formal Methods Symposium\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day eve nt: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nExtended from 19 January 2018.\nHeld in Newport News\, V A\, USA.\nConference dates: 17–19 Apr 2018.\nhttps://www.conferences-com puter.science/nfm/2018/ URL:https://www.conferences-computer.science/nfm/2018/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,NFM END:VEVENT BEGIN:VEVENT UID:nfm-2019-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20181210 DTEND;VALUE=DATE:20181211 SUMMARY:NFM 2019 — abstract deadline DESCRIPTION:11th NASA Formal Methods Symposium\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day eve nt: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nExtended from 07 December 2018.\nHeld in Rice University \, Houston\, Texas\, USA.\nConference dates: 7–9 May 2019.\nhttps://www. conferences-computer.science/nfm/2019/ URL:https://www.conferences-computer.science/nfm/2019/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,NFM END:VEVENT BEGIN:VEVENT UID:nfm-2019-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20181217 DTEND;VALUE=DATE:20181218 SUMMARY:NFM 2019 — paper deadline DESCRIPTION:11th NASA Formal Methods Symposium\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day eve nt: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nExtended from 14 December 2018.\nHeld in Rice University \, Houston\, Texas\, USA.\nConference dates: 7–9 May 2019.\nhttps://www. conferences-computer.science/nfm/2019/ URL:https://www.conferences-computer.science/nfm/2019/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,NFM END:VEVENT BEGIN:VEVENT UID:nfm-2019-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20190222 DTEND;VALUE=DATE:20190223 SUMMARY:NFM 2019 — notification DESCRIPTION:11th NASA Formal Methods Symposium\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day eve nt: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Rice University\, Houston\, Texas\, USA.\nConfer ence dates: 7–9 May 2019.\nhttps://www.conferences-computer.science/nfm/ 2019/ URL:https://www.conferences-computer.science/nfm/2019/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,NFM END:VEVENT BEGIN:VEVENT UID:nfm-2020-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20191224 DTEND;VALUE=DATE:20191225 SUMMARY:NFM 2020 — abstract deadline DESCRIPTION:12th NASA Formal Methods Symposium\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day eve nt: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nExtended from 12 December 2019.\nHeld in Moffett Field\, CA\, USA.\nConference dates: 11–15 May 2020.\nhttps://www.conferences-c omputer.science/nfm/2020/ URL:https://www.conferences-computer.science/nfm/2020/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,NFM END:VEVENT BEGIN:VEVENT UID:nfm-2020-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20191230 DTEND;VALUE=DATE:20191231 SUMMARY:NFM 2020 — paper deadline DESCRIPTION:12th NASA Formal Methods Symposium\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day eve nt: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nExtended from 19 December 2019.\nHeld in Moffett Field\, CA\, USA.\nConference dates: 11–15 May 2020.\nhttps://www.conferences-c omputer.science/nfm/2020/ URL:https://www.conferences-computer.science/nfm/2020/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,NFM END:VEVENT BEGIN:VEVENT UID:nfm-2020-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20200220 DTEND;VALUE=DATE:20200221 SUMMARY:NFM 2020 — notification DESCRIPTION:12th NASA Formal Methods Symposium\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day eve nt: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Moffett Field\, CA\, USA.\nConference dates: 11 –15 May 2020.\nhttps://www.conferences-computer.science/nfm/2020/ URL:https://www.conferences-computer.science/nfm/2020/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,NFM END:VEVENT BEGIN:VEVENT UID:nfm-2021-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20201207 DTEND;VALUE=DATE:20201208 SUMMARY:NFM 2021 — abstract deadline DESCRIPTION:13th NASA Formal Methods Symposium\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day eve nt: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nExtended from 27 November 2020.\nHeld in Online.\nConfer ence dates: 24–28 May 2021.\nhttps://www.conferences-computer.science/nf m/2021/ URL:https://www.conferences-computer.science/nfm/2021/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,NFM END:VEVENT BEGIN:VEVENT UID:nfm-2021-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20201214 DTEND;VALUE=DATE:20201215 SUMMARY:NFM 2021 — paper deadline DESCRIPTION:13th NASA Formal Methods Symposium\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day eve nt: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nExtended from 04 December 2020.\nHeld in Online.\nConfer ence dates: 24–28 May 2021.\nhttps://www.conferences-computer.science/nf m/2021/ URL:https://www.conferences-computer.science/nfm/2021/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,NFM END:VEVENT BEGIN:VEVENT UID:nfm-2021-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20210219 DTEND;VALUE=DATE:20210220 SUMMARY:NFM 2021 — notification DESCRIPTION:13th NASA Formal Methods Symposium\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day eve nt: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Online.\nConference dates: 24–28 May 2021.\nht tps://www.conferences-computer.science/nfm/2021/ URL:https://www.conferences-computer.science/nfm/2021/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,NFM END:VEVENT BEGIN:VEVENT UID:nfm-2022-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20220103 DTEND;VALUE=DATE:20220104 SUMMARY:NFM 2022 — abstract deadline DESCRIPTION:14th NASA Formal Methods Symposium\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day eve nt: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nExtended from 03 December 2021.\nHeld in Pasadena\, Cali fornia\, USA (hybrid).\nConference dates: 24–27 May 2022.\nhttps://www.c onferences-computer.science/nfm/2022/ URL:https://www.conferences-computer.science/nfm/2022/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,NFM END:VEVENT BEGIN:VEVENT UID:nfm-2022-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20220110 DTEND;VALUE=DATE:20220111 SUMMARY:NFM 2022 — paper deadline DESCRIPTION:14th NASA Formal Methods Symposium\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day eve nt: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nExtended from 10 December 2021.\nHeld in Pasadena\, Cali fornia\, USA (hybrid).\nConference dates: 24–27 May 2022.\nhttps://www.c onferences-computer.science/nfm/2022/ URL:https://www.conferences-computer.science/nfm/2022/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,NFM END:VEVENT BEGIN:VEVENT UID:nfm-2022-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20220314 DTEND;VALUE=DATE:20220315 SUMMARY:NFM 2022 — notification DESCRIPTION:14th NASA Formal Methods Symposium\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day eve nt: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nExtended from 04 February 2022.\nHeld in Pasadena\, Cali fornia\, USA (hybrid).\nConference dates: 24–27 May 2022.\nhttps://www.c onferences-computer.science/nfm/2022/ URL:https://www.conferences-computer.science/nfm/2022/ SEQUENCE:3 TRANSP:TRANSPARENT CATEGORIES:Deadline,NFM END:VEVENT BEGIN:VEVENT UID:nfm-2023-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20230106 DTEND;VALUE=DATE:20230107 SUMMARY:NFM 2023 — abstract deadline DESCRIPTION:15th NASA Formal Methods Symposium\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day eve nt: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nExtended from 09 December 2022.\nHeld in Houston\, Texas \, USA.\nConference dates: 16–18 May 2023.\nhttps://www.conferences-comp uter.science/nfm/2023/ URL:https://www.conferences-computer.science/nfm/2023/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,NFM END:VEVENT BEGIN:VEVENT UID:nfm-2023-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20230106 DTEND;VALUE=DATE:20230107 SUMMARY:NFM 2023 — paper deadline DESCRIPTION:15th NASA Formal Methods Symposium\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day eve nt: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nExtended from 16 December 2022.\nHeld in Houston\, Texas \, USA.\nConference dates: 16–18 May 2023.\nhttps://www.conferences-comp uter.science/nfm/2023/ URL:https://www.conferences-computer.science/nfm/2023/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,NFM END:VEVENT BEGIN:VEVENT UID:nfm-2023-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20230306 DTEND;VALUE=DATE:20230307 SUMMARY:NFM 2023 — notification DESCRIPTION:15th NASA Formal Methods Symposium\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day eve nt: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nExtended from 20 February 2023.\nHeld in Houston\, Texas \, USA.\nConference dates: 16–18 May 2023.\nhttps://www.conferences-comp uter.science/nfm/2023/ URL:https://www.conferences-computer.science/nfm/2023/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,NFM END:VEVENT BEGIN:VEVENT UID:nfm-2024-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20231208 DTEND;VALUE=DATE:20231209 SUMMARY:NFM 2024 — abstract deadline DESCRIPTION:16th NASA Formal Methods Symposium\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day eve nt: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nExtended from 01 December 2023.\nHeld in Moffett Field\, California.\nConference dates: 4–6 Jun 2024.\nhttps://www.conferences-c omputer.science/nfm/2024/ URL:https://www.conferences-computer.science/nfm/2024/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,NFM END:VEVENT BEGIN:VEVENT UID:nfm-2024-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20231215 DTEND;VALUE=DATE:20231216 SUMMARY:NFM 2024 — paper deadline DESCRIPTION:16th NASA Formal Methods Symposium\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day eve nt: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nExtended from 08 December 2023.\nHeld in Moffett Field\, California.\nConference dates: 4–6 Jun 2024.\nhttps://www.conferences-c omputer.science/nfm/2024/ URL:https://www.conferences-computer.science/nfm/2024/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,NFM END:VEVENT BEGIN:VEVENT UID:nfm-2024-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20240216 DTEND;VALUE=DATE:20240217 SUMMARY:NFM 2024 — notification DESCRIPTION:16th NASA Formal Methods Symposium\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day eve nt: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Moffett Field\, California.\nConference dates: 4 –6 Jun 2024.\nhttps://www.conferences-computer.science/nfm/2024/ URL:https://www.conferences-computer.science/nfm/2024/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,NFM END:VEVENT BEGIN:VEVENT UID:nfm-2025-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20241213 DTEND;VALUE=DATE:20241214 SUMMARY:NFM 2025 — abstract deadline DESCRIPTION:17th NASA Formal Methods Symposium\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day eve nt: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Hampton Roads\, VA\, USA.\nConference dates: 11 –13 Jun 2025.\nhttps://www.conferences-computer.science/nfm/2025/ URL:https://www.conferences-computer.science/nfm/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,NFM END:VEVENT BEGIN:VEVENT UID:nfm-2025-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20241222 DTEND;VALUE=DATE:20241223 SUMMARY:NFM 2025 — paper deadline DESCRIPTION:17th NASA Formal Methods Symposium\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day eve nt: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nExtended from 13 December 2024.\nHeld in Hampton Roads\, VA\, USA.\nConference dates: 11–13 Jun 2025.\nhttps://www.conferences-c omputer.science/nfm/2025/ URL:https://www.conferences-computer.science/nfm/2025/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,NFM END:VEVENT BEGIN:VEVENT UID:nfm-2025-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20250214 DTEND;VALUE=DATE:20250215 SUMMARY:NFM 2025 — notification DESCRIPTION:17th NASA Formal Methods Symposium\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day eve nt: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Hampton Roads\, VA\, USA.\nConference dates: 11 –13 Jun 2025.\nhttps://www.conferences-computer.science/nfm/2025/ URL:https://www.conferences-computer.science/nfm/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,NFM END:VEVENT BEGIN:VEVENT UID:nfm-2026-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260118 DTEND;VALUE=DATE:20260119 SUMMARY:NFM 2026 — paper deadline DESCRIPTION:18th NASA Formal Methods Symposium\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day eve nt: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nExtended from 10 January 2026.\nHeld in Los Angeles\, CA \, USA.\nConference dates: 5–7 May 2026.\nhttps://www.conferences-comput er.science/nfm/2026/ URL:https://www.conferences-computer.science/nfm/2026/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,NFM END:VEVENT BEGIN:VEVENT UID:nfm-2026-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260310 DTEND;VALUE=DATE:20260311 SUMMARY:NFM 2026 — notification DESCRIPTION:18th NASA Formal Methods Symposium\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day eve nt: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Los Angeles\, CA\, USA.\nConference dates: 5–7 May 2026.\nhttps://www.conferences-computer.science/nfm/2026/ URL:https://www.conferences-computer.science/nfm/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,NFM END:VEVENT BEGIN:VEVENT UID:nfm-2015-event@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20150427 DTEND;VALUE=DATE:20150430 SUMMARY:NFM 2015 — Pasadena\, California\, USA DESCRIPTION:7th NASA Formal Methods Symposium\nHeld in Pasadena\, Californi a\, USA.\nPaper deadline was 18 November 2014.\nhttps://www.conferences-co mputer.science/nfm/2015/ URL:https://www.conferences-computer.science/nfm/2015/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,NFM END:VEVENT BEGIN:VEVENT UID:nfm-2016-event@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20160607 DTEND;VALUE=DATE:20160610 SUMMARY:NFM 2016 — Minneapolis\, MN\, USA DESCRIPTION:8th NASA Formal Methods Symposium\nHeld in Minneapolis\, MN\, U SA.\nPaper deadline was 19 February 2016.\nhttps://www.conferences-compute r.science/nfm/2016/ URL:https://www.conferences-computer.science/nfm/2016/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,NFM END:VEVENT BEGIN:VEVENT UID:nfm-2017-event@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20170516 DTEND;VALUE=DATE:20170519 SUMMARY:NFM 2017 — Moffett Field\, CA\, USA DESCRIPTION:9th NASA Formal Methods Symposium\nHeld in Moffett Field\, CA\, USA.\nPaper deadline was 07 December 2016.\nhttps://www.conferences-compu ter.science/nfm/2017/ URL:https://www.conferences-computer.science/nfm/2017/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,NFM END:VEVENT BEGIN:VEVENT UID:nfm-2018-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20180417 DTEND;VALUE=DATE:20180420 SUMMARY:NFM 2018 — Newport News\, VA\, USA DESCRIPTION:10th NASA Formal Methods Symposium\nHeld in Newport News\, VA\, USA.\nPaper deadline was 11 December 2017.\nhttps://www.conferences-compu ter.science/nfm/2018/ URL:https://www.conferences-computer.science/nfm/2018/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,NFM END:VEVENT BEGIN:VEVENT UID:nfm-2019-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20190507 DTEND;VALUE=DATE:20190510 SUMMARY:NFM 2019 — Rice University\, Houston\, Texas\, USA DESCRIPTION:11th NASA Formal Methods Symposium\nHeld in Rice University\, H ouston\, Texas\, USA.\nPaper deadline was 17 December 2018.\nhttps://www.c onferences-computer.science/nfm/2019/ URL:https://www.conferences-computer.science/nfm/2019/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,NFM END:VEVENT BEGIN:VEVENT UID:nfm-2020-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20200511 DTEND;VALUE=DATE:20200516 SUMMARY:NFM 2020 — Moffett Field\, CA\, USA DESCRIPTION:12th NASA Formal Methods Symposium\nHeld in Moffett Field\, CA\ , USA.\nPaper deadline was 30 December 2019.\nhttps://www.conferences-comp uter.science/nfm/2020/ URL:https://www.conferences-computer.science/nfm/2020/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,NFM END:VEVENT BEGIN:VEVENT UID:nfm-2021-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20210524 DTEND;VALUE=DATE:20210529 SUMMARY:NFM 2021 — Online DESCRIPTION:13th NASA Formal Methods Symposium\nHeld in Online.\nPaper dead line was 14 December 2020.\nhttps://www.conferences-computer.science/nfm/2 021/ URL:https://www.conferences-computer.science/nfm/2021/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,NFM END:VEVENT BEGIN:VEVENT UID:nfm-2022-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20220524 DTEND;VALUE=DATE:20220528 SUMMARY:NFM 2022 — Pasadena\, California\, USA (hybrid) DESCRIPTION:14th NASA Formal Methods Symposium\nHeld in Pasadena\, Californ ia\, USA (hybrid).\nPaper deadline was 10 January 2022.\nhttps://www.confe rences-computer.science/nfm/2022/ URL:https://www.conferences-computer.science/nfm/2022/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,NFM END:VEVENT BEGIN:VEVENT UID:nfm-2023-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20230516 DTEND;VALUE=DATE:20230519 SUMMARY:NFM 2023 — Houston\, Texas\, USA DESCRIPTION:15th NASA Formal Methods Symposium\nHeld in Houston\, Texas\, U SA.\nPaper deadline was 06 January 2023.\nhttps://www.conferences-computer .science/nfm/2023/ URL:https://www.conferences-computer.science/nfm/2023/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,NFM END:VEVENT BEGIN:VEVENT UID:nfm-2024-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20240604 DTEND;VALUE=DATE:20240607 SUMMARY:NFM 2024 — Moffett Field\, California DESCRIPTION:16th NASA Formal Methods Symposium\nHeld in Moffett Field\, Cal ifornia.\nPaper deadline was 15 December 2023.\nhttps://www.conferences-co mputer.science/nfm/2024/ URL:https://www.conferences-computer.science/nfm/2024/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,NFM END:VEVENT BEGIN:VEVENT UID:nfm-2025-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20250611 DTEND;VALUE=DATE:20250614 SUMMARY:NFM 2025 — Hampton Roads\, VA\, USA DESCRIPTION:17th NASA Formal Methods Symposium\nHeld in Hampton Roads\, VA\ , USA.\nPaper deadline was 22 December 2024.\nhttps://www.conferences-comp uter.science/nfm/2025/ URL:https://www.conferences-computer.science/nfm/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,NFM END:VEVENT BEGIN:VEVENT UID:nfm-2026-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260505 DTEND;VALUE=DATE:20260508 SUMMARY:NFM 2026 — Los Angeles\, CA\, USA DESCRIPTION:18th NASA Formal Methods Symposium\nHeld in Los Angeles\, CA\, USA.\nPaper deadline was 18 January 2026.\nhttps://www.conferences-compute r.science/nfm/2026/ URL:https://www.conferences-computer.science/nfm/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,NFM END:VEVENT END:VCALENDAR