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 17
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

IPCCC 2021 : IEEE International Performance, Computing, and Communications Conference

Deadline :
Tue 22 Jun 2021
Oct 29, 2021 - Oct 31, 2021 - Austin
United States

ACSAC 2021 : Computer Security Applications Conference

Deadline :
Wed 23 Jun 2021
Dec 6, 2021 - Dec 8, 2021 - Austin
United States

ICIDS 2021 : International Conference on Interactive Digital Storytelling

Deadline :
Fri 25 Jun 2021
Nov 9, 2021 - Nov 12, 2021 - Santa Cruz
United States