NFM
NASA Formal Methods conference
Tue 4 - Thu 6 June 2024 Moffett Field, CA 94035, California, United StatesNASA Formal Methods 202416th NASA Formal Methods Symposium June 4-6 The NASA Formal Methods Symposium (NFM) is an annual forum to foster collaboration between theoreticians and practitioners from NASA, other government agencies, academia, and industry. Updates NFM 2024 has now concluded. Thanks to all participants for making this a successful conference! (6/7/24) Social events and lunch options announced (5/31/24) Registration ... |
Tue 16 - Thu 18 May 2023 Houston, Texas, United StatesNASA Formal Methods 2023The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry require advanced techniques that address these systems’ specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium (NFM) is an annual forum to foster collaboration between theoreticians and practitioners from NASA, academia, and ... |
May 2022, Pasadena, CaliforniaNASA Formal Methods 2022More information on this edition at https://nfm2022.caltech.edu/ |
May 2021, NASA Langley Research Center, VirginiaNASA Formal Methods 2021More information on this edition at https://shemesh.larc.nasa.gov/nfm2021/ |
May 2020, Moffett Field, CaliforniaNASA Formal Methods 2020More information on this edition at https://ti.arc.nasa.gov/events/nfm-2020/ |
May 2019, Houston, TexasNASA Formal Methods 2019More information on this edition at https://www.springer.com/gp/book/9783030206512 |
April 2018, Newport News, VirginiaNASA Formal Methods 2018More information on this edition at https://shemesh.larc.nasa.gov/NFM2018/ |
May 2017, Moffett Field, CaliforniaNASA Formal Methods 2017More information on this edition at http://www.springer.com/us/book/9783319572871 |
June 2016, University of Minnesota, Minneapolis, MinnesotaNASA Formal Methods 2016More information on this edition at http://crisys.cs.umn.edu/nfm2016 |
April 2015, NASA's Jet Propulsion Laboratory, Pasadena, CaliforniaNASA Formal Methods 2015More information on this edition at http://www.springer.com/computer/swe/book/978-3-319-17523-2 |
April 2014, NASA Johnson Space Center, Houston, TexasNASA Formal Methods 2014More information on this edition at http://www.springer.com/computer/swe/book/978-3-319-06199-3 |
May 2013, Moffett Field, CaliforniaNASA Formal Methods 2013More information on this edition at http://www.springer.com/computer/swe/book/978-3-642-38087-7 |
April 2012, Norfolk, VirginiaNASA Formal Methods 2012More information on this edition at http://shemesh.larc.nasa.gov/nfm2012/ |
April 2011, NASA's Jet Propulsion Laboratory, Pasadena, CaliforniaNASA Formal Methods 2011More information on this edition at http://www.springer.com/computer/swe/book/978-3-642-20397-8?changeHeader |
April 2010, Washington, D.C.NASA Formal Methods 2010More information on this edition at http://shemesh.larc.nasa.gov/NFM2010 |
April 2009, Moffett Field, CaliforniaNASA Formal Methods 2009More information on this edition at http://shemesh.larc.nasa.gov/NFM/proceedings/NASA-CP-2009-215407.pdf |
April 2008, Newport News, Virginia6th NASA Langley Formal Methods Workshop (LFM 2008)More information on this edition at http://shemesh.larc.nasa.gov/NFM/proceedings/NASA-CP-2008-215309.pdf |
June 2000, Williamsburg, Virginia5th NASA Langley Formal Methods Workshop (LFM 2000)More information on this edition at http://shemesh.larc.nasa.gov/NFM/proceedings/NASA-CP-2000-210100.pdf |
September 1997, Hampton, Virginia4th NASA Langley Formal Methods Workshop (LFM 1997)More information on this edition at http://shemesh.larc.nasa.gov/NFM/proceedings/NASA-CP-3356.pdf |
May 1995, Hampton, Virginia3rd NASA Langley Formal Methods Workshop (LFM 1995)More information on this edition at http://shemesh.larc.nasa.gov/NFM/proceedings/NASA-CP-10176.pdf |
August 1992, Hampton, Virginia2nd NASA Langley Formal Methods WorkshopMore information on this edition at http://shemesh.larc.nasa.gov/NFM/proceedings/NASA-CP-10110.pdf |
August 1990, Hampton Virginia1st NASA Langley Formal Methods WorkshopMore information on this edition at http://shemesh.larc.nasa.gov/NFM/proceedings/NASA-CP-10052.pdf |
