NFM 2021 : NASA Formal Methods Symposium

  in Conferences   Posted on November 3, 2020

Conference Information

Submission Deadline Monday 07 Dec 2020 Proceedings indexed by :
Conference Dates May 24, 2021 - May 28, 2021
Conference Address Norfolk, United States
Conference & Submission Link https://shemesh.larc.nasa.gov/nfm2021/
Conference Organizers : ( Deadline extended ? Click here to edit )

Conference Ranking & Metrics (This is a TOP Conference)

Impact Score 1.81
#Contributing Top Scientists 11
#Papers published by Top Scientists 10
Google Scholar H5-index 5
Guide2Research Overall Ranking: 560
Category Rankings
Software Engineering & Programming 136
Proceedings https://link.springer.com/conference/nfm

Conference Call for Papers

The 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 a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry. NFM\’s goals are to identify challenges and to provide solutions for achieving assurance for such critical systems.

New developments and emerging applications like autonomous software for Unmanned Aerial Systems (UAS), UAS Traffic Management (UTM), advanced separation assurance algorithms for aircraft, and the need for system-wide fault detection, diagnosis, and prognostics provide new challenges for system specification, development, and verification approaches. Similar challenges need to be addressed during development and deployment of on-board software for both spacecraft and ground systems.

The focus of the symposium will be on formal techniques and other approaches for software assurance, including their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.

The meeting will be comprised of invited talks by leading researchers and practitioners, a panel discussion on the current status of formal methods, and more specialized talks based on contributed papers.

The NASA Formal Methods Symposium is an annual event organized by the NASA Formal Methods (NFM) Research Group, comprised of researchers spanning six NASA centers. NFM2021 is being organized by the NASA Langley Formal Methods Team.

Other Conferences in United States

AAAI-MAKE 2021 : Spring Symposium on Combining Machine Learning and Knowledge Engineering

Deadline :
Mon 30 Nov 2020
Mar 22, 2021 - Mar 24, 2021 - Palo Alto
United States

ITEC 2021 : IEEE Transportation Electrification Conference

Deadline :
Tue 01 Dec 2020
Jun 23, 2021 - Jun 25, 2021 - Chicago
United States

CT-RSA 2021 : Cryptographers’ Track at the RSA Conference

Deadline :
Tue 01 Dec 2020
May 17, 2021 - May 21, 2021 - San Francisco
United States

AHFE 2021 : International Conference on Applied Human Factors and Ergonomics

Deadline :
Tue 01 Dec 2020
Jul 25, 2021 - Jul 29, 2021 - New York
United States