NFM 2024: NASA Formal Methods: 16th International Symposium NASA Ames Research Center, Moffet Blvd Mountain View, CA, United States, June 4-6, 2024 |
Conference website | https://conf.researchr.org/home/nfm-2024 |
Submission link | https://easychair.org/conferences/?conf=nfm2024 |
Conference program | https://easychair.org/smart-program/NFM2024/ |
Abstract registration deadline | December 8, 2023 |
Submission deadline | December 15, 2023 |
The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA andin the aerospace industry requires advanced technologies to address their specification, design,verification, validation, and certification processes. For example, there is an increasing need forautonomous systems in deep space missions including NASA’s Moon to Mars exploration plans. TheNASA Formal Methods Symposium is a forum to foster collaboration between theoreticians andpractitioners from NASA, other government agencies, academia, and industry, with the goal of identifyingchallenges and providing solutions towards achieving assurance for such critical systems.The focus of this symposium is on formal techniques for software and system assurance for applicationsin space, aviation, robotics, and other NASA-relevant safety-critical systems. This year’s symposiumextends the focus to safety assurance of machine learning enabled autonomous systems, formalmethods for digital transformation, and accessibility for new industries.
Submission Guidelines
All papers must be original and not simultaneously submitted to another journal or conference. The following paper categories are welcome:
- Full Papers: 15 pages including references, describing fully developed work and complete results.
- Short Papers: 6 pages including references, in one of the categories below:
- Tool papers describing novel and publicly available tools
- Case studies detailing applications of formal methods
- New emerging ideas in the topics of interest
List of Topics
- Advances in Formal Methods
- Formal verification, model checking, and static analysis
- Interactive and automated theorem proving
- Program and specification synthesis, code transformation and generation
- Run-time verification and test case generation
- Techniques and algorithms for scaling formal methods
- Design for verification and correct-by-design techniques
- Requirements generation, specification, and validation
- Integration of Formal Methods
- Use of machine learning techniques in formal methods
- Integration of formal methods and software engineering
- Integration of diverse formal methods techniques
- Combination of formal methods with simulation and analysis techniques
- Formal Methods in Practice
- Experience reports of application of formal methods in industry
- Use of formal methods in education
- Applications of formal methods in:
- concurrent and distributed systems
- fault-detection, diagnostics, and prognostics systems
- human-machine interaction analysis
- Safety Assurance of Autonomous Systems
- Verification of machine learning (ML) enabled systems
- Runtime monitoring or model checking to ensure safe operation
- Formal specifications and modeling of ML enabled systems
- Case-studies/experience reports exploring the application of formal methods inautonomous safety-critical, cyber-physical and hybrid systems
- Using formal evidence for certification of ML enabled systems
- Formal Methods for Digital Transformation
- Applications related to Digital Twin & Digital Thread
- Verification for integrated design and manufacturing
- AI digital assistants for system design
- Runtime monitoring for Smart Campus & Smart Cities
- Accessibility of Formal Methods for New Industries
- "New Space" markets
- Advanced Air Mobility and Startup Aviation
- Formal Methods as a Service
Important Dates
- Abstract submission: December 8, 2023
- Full paper submission: December 15, 2023
- Notification: February 16, 2024
- Final version: March 15, 2024
- Conference: June 4-6, 2024
Committees
Organizing committee
- Nathan Benz
- Divya Gopinath
- Nija Shi
Venue
The conference will be held in NASA Ames Research Center, Moffett Field, California
Contact
All questions about submissions should be emailed to nfm24-chairs@lists.nasa.gov