16th NASA Formal Methods Symposium (NFM)
June 4–6, 2024
NASA Ames Research Center, Moffett Field, California, United States
https://conf.researchr.org/home/nfm-2024
----------------------------------------------------------------------------
* There is no registration fee! *
The NASA Formal Methods (NFM) Symposium is an annual forum to foster collaboration between theoreticians and practitioners from NASA, other government agencies, academia, and industry, with the goal of identifying challenges and providing solutions towards achieving assurance for safety critical systems.
NFM 2024 will be held June 4—6, 2024 at the NASA Ames Research Center in Moffett Field, California, USA.
The symposium features presentation sessions on Advances in Solver technology, Formal Methods for Program Analysis and Verification, SMT-based Assurance of Behavioral Specifications, Formal Methods for Learning-enabled Systems, Formal Methods for Automotive Systems, Formal Methods for Robotics, and Formal Methods for Software Engineering. There will also be a tool demonstration session and panel discussion on trusted autonomy.
Keynote Speakers
"Autonomy Challenges for Future NASA Science and Exploration Missions."
Dr. Butler Hine, Project Manager for the HelioSwarm mission, NASA
"Formal Verification and Run-time Monitoring for Learning-Enabled Autonomous Systems."
Dr. Corina Pasareanu, ACM Distinguished Scientist, NASA Ames and CMU
"Safety under uncertainty: Automotive standards for AI safety and research perspectives."
Dr. Simon Burton, Chair of Systems Safety at University of York
Panel Session
The topic of the discussion will be Trusted Autonomy, chaired by Dr. Guillaume Brat, NASA Ames Research Center.
Panelists:
Dr. Huafeng Yu (Senior Scientist from US Department of Transport)
Dr. Jean-Guillaume Durand (Applied Scientist from Xwing)
Dr. Marco Pavone (Director of Autonomous Vehicle Research at NVIDIA)
Dr. Darren Cofer (Principal Fellow at Collins Aerospace)
For more information about the program, please see https://conf.researchr.org/home/nfm-2024#program.
Registration
There is no registration fee charged to participants. All interested individuals are welcome to attend.
However, all attendees must register here: https://conf.researchr.org/info/nfm-2024/registration
----------------------------------------------------------------------------
Conference Chairs: Nathan Benz, Divya Gopinath, Nija Shi
Contact: nfm24-chairs@lists.nasa.gov
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
