The wides pread use and increasing complexity of mission-cri tical and safety-critical systems at NASA and in t he aerospace industry requires advanced technologi es to address their specification, design, verific ation, validation, and certification processes. Th e NASA Formal Methods Symposium is a forum to fost er collaboration between theoreticians and practit ioners from NASA, other government agencies, acade mia, and industry, with the goal of identifying ch allenges and providing solutions towards achieving assurance for such critical systems. The focus of this symposium is on formal techniques for softwa re and system assurance for applications in space, aviation, robotics, and other NASA-relevant safet y-critical systems.
\nThis year’s symposiu m extends the focus to safety assurance of machine learning enabled autonomous systems, formal metho ds for digital transformation, and accessibility f or new industries. There will be a tool demonstrat ion session at the conference, where tool develope rs get to showcase their tools interactively with the attendee.
\nThere are two
categories of submissions: Regular Papers (15 pag
es including references), describing fully develop
ed work and complete results, and Short Papers (6
pages including references), in one of the categor
ies below:
\n - Tool papers describing novel a
nd publicly available tools
\n - Case studies
detailing applications of formal methods
\n -
New emerging ideas in the topics of interest
All papers should be in English and describe original work that has not been published or submi tted elsewhere. NFM24 will be a hybrid conference. Authors of accepted papers are encouraged to pres ent their work in person at the conference.
\n< /div> URL:https://conf.researchr.org/home/nfm-2024 CONTACT:nfm24-chairs at lists.nasa.gov END:VEVENT END:VCALENDAR