Conference series Beta

NASA Formal Methods Symposium

NFM

Events: 18 (2009 to 2026)
Academic field: Natural sciences: Computer and information sciences
Disciplines: computer science, formal methods
Identifier: https://id.confref.org/series/s10abw6

Events (18)

20092026

Year	No.	Event	Place	Date
2026	18	NASA Formal Methods - 18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 5-7, 2026, Proceedings	Los Angeles
2025	17	NASA Formal Methods - 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings	Williamsburg
2024	16	NASA Formal Methods - 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings	Moffett Federal Airfield
2023	15	NASA Formal Methods - 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings	Houston
2022	14	NASA Formal Methods - 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings	Pasadena
2021	13	NASA Formal Methods - 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings
2020	12	NASA Formal Methods - 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings	Moffett Federal Airfield
2019	11	NASA Formal Methods - 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings NFM 2019, NFM	Houston	2019-05-07/09
2018	10	NASA Formal Methods - 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings NFM	Newport News	2018-04-17/19
2017	9	NASA Formal Methods Symposium NFM	Moffett Federal Airfield	2017-05-16/18
2016	8	NASA Formal Methods Symposium NFM 2016, NFM	Minneapolis	2016-06-07/09
2015	7	NASA Formal Methods Symposium NFM 2015, NFM	Pasadena	2015-04-27/29
2014	6	NASA Formal Methods Symposium NFM 2014, NFM	Houston	2014-04-29 to 2014-05-01
2013	5	NASA Formal Methods Symposium NFM	Moffett Federal Airfield	2013-05-14/16
2012	4	NASA Formal Methods Symposium NFM	Norfolk	2012-04-03/05
2011	3	NASA Formal Methods Symposium NFM 2011, NFM	Pasadena	2011-04-18/20
2010		Second NASA Formal Methods Symposium - NFM 2010, Washington D.C., USA, April 13-15, 2010. Proceedings NFM	Washington, D.C.	2010-04-13/15
2009		First NASA Formal Methods Symposium - NFM 2009, Moffett Field, California, USA, April 6-8, 2009. NFM 2009, NFM	Moffett Federal Airfield	2009-04-06/08

The events on the map · in the search · calendar of coming events

Ratings

As the rating systems gave them at the date shown; a rating dataset keeps them as its source published them.

System	Value	Date	Dataset
GII-GRIN-SCIE	W	2017-04-06	ratings-springer-lod
h5-index	19	2017	ratings-springer-lod · source
h5-median	22	2017	ratings-springer-lod · source
Qualis	C	2017-04-06	ratings-springer-lod

Sources

The records of the sources that this identifier brings together (cr:sameAs).

Springer LOD (2018)	`http://lod.springer.com/data/confseries/nfm`
confref portal (2020)	`https://id.confref.org/data/confref-portal/series/nfm`
Wikidata	`http://www.wikidata.org/entity/Q105696236`
dblp	`https://dblp.org/streams/conf/nfm`
GND	`https://d-nb.info/gnd/109244677X`

Cite

NASA Formal Methods Symposium. confref identifier s10abw6. https://id.confref.org/series/s10abw6

Data: Turtle · JSON-LD · N-Triples · RDF/XML

APIs · SPARQL · About the identifiers

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.