BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2021/newsitem/12094/24 ---28-May-2021-Thirteenth-NASA-Formal-Methods-Symp osium-NFM-2021-Virtual DTSTAMP:20210426T140739 SUMMARY:Thirteenth NASA Formal Methods Symposium ( NFM 2021), Virtual DTSTART;VALUE=DATE:20210524 DTEND;VALUE=DATE:20210528 LOCATION:Virtual DESCRIPTION:The widespread use and increasing comp lexity of mission-critical and safety-critical sys tems at NASA and in the aerospace industry require advanced techniques that address these systems' s pecification, design, verification, validation, an d certification requirements. The NASA Formal Meth ods Symposium (NFM) is a forum to foster collabora tion between theoreticians and practitioners from NASA, academia, and industry. NFM's goals are to i dentify challenges and to provide solutions for ac hieving assurance for such critical systems. New developments and emerging applications like autono mous software for Unmanned Aerial Systems (UAS), U AS Traffic Management (UTM), advanced separation a ssurance algorithms for aircraft, and the need for system-wide fault detection, diagnosis, and progn ostics provide new challenges for system specifica tion, development, and verification approaches. Si milar challenges need to be addressed during devel opment and deployment of on-board software for bot h spacecraft and ground systems. The focus of the symposium will be on formal techniques and other a pproaches for software assurance, including their theory, current capabilities and limitations, as w ell as their potential application to aerospace, r obotics, and other NASA-relevant safety-critical s ystems during all stages of the software life-cycl e. Due to the COVID-19, the organizers have decid ed to hold NFM 2021 virtually only, rather than in person. We encourage submissions on cross-cuttin g approaches that bring together formal methods an d techniques from other domains such as probabilis tic reasoning, machine learning, control theory, r obotics, and quantum computing among others. Ther e are two categories of submissions: 1. Regular p apers describing fully developed work and complete results (maximum 15 pages); 2. Short papers on t ools, experience reports, or work in progress with preliminary results (maximum 6 pages). All paper s must be in English and describe original work th at has not been published or submitted elsewhere. X-ALT-DESC;FMTTYPE=text/html:
\n

The wides pread use and increasing complexity of mission-cri tical and safety-critical systems at NASA and in t he aerospace industry require advanced techniques that address these systems' specification, design, verification, validation, and certification requi rements. The NASA Formal Methods Symposium (NFM) i s a forum to foster collaboration between theoreti cians and practitioners from NASA, academia, and i ndustry. NFM's goals are to identify challenges an d to provide solutions for achieving assurance for such critical systems.

\n\n

New developmen ts and emerging applications like autonomous softw are for Unmanned Aerial Systems (UAS), UAS Traffic Management (UTM), advanced separation assurance a lgorithms for aircraft, and the need for system-wi de fault detection, diagnosis, and prognostics pro vide new challenges for system specification, deve lopment, and verification approaches. Similar chal lenges need to be addressed during development and deployment of on-board software for both spacecra ft and ground systems. The focus of the symposium will be on formal techniques and other approaches for software assurance, including their theory, cu rrent capabilities and limitations, as well as the ir potential application to aerospace, robotics, a nd other NASA-relevant safety-critical systems dur ing all stages of the software life-cycle.

\n\n

Due to the COVID-19, the organizers have deci ded to hold NFM 2021 virtually only, rather than i n person.

\n
\n

We encourage subm issions on cross-cutting approaches that bring tog ether formal methods and techniques from other dom ains such as probabilistic reasoning, machine lear ning, control theory, robotics, and quantum comput ing among others.

\n\n

There are two catego ries of submissions:
\n 1. Regular papers desc ribing fully developed work and complete results ( maximum 15 pages);
\n 2. Short papers on tools , experience reports, or work in progress with pre liminary results (maximum 6 pages).
\n All pap ers must be in English and describe original work that has not been published or submitted elsewhere .

\n
URL:https://shemesh.larc.nasa.gov/nfm2021/ CONTACT:nfm2021 at easychair.org END:VEVENT END:VCALENDAR