<html xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40"><head><meta http-equiv=Content-Type content="text/html; charset=utf-8"><meta name=Generator content="Microsoft Word 15 (filtered medium)"><style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
font-size:11.0pt;
font-family:"Calibri",sans-serif;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Calibri",sans-serif;
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-family:"Calibri",sans-serif;}
@page WordSection1
{size:8.5in 11.0in;
margin:1.0in 1.0in 1.0in 1.0in;}
div.WordSection1
{page:WordSection1;}
--></style></head><body lang=EN-US link="#0563C1" vlink="#954F72" style='word-wrap:break-word'><div class=WordSection1><p class=MsoNormal>***********************************************************************<o:p></o:p></p><p class=MsoNormal> CALL FOR (VIRTUAL) PARTICIPATION <o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal> 13th NASA Formal Methods Symposium (NFM 2021)<o:p></o:p></p><p class=MsoNormal> <o:p></o:p></p><p class=MsoNormal> May 24-28, 2021<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal> https://shemesh.larc.nasa.gov/nfm2021<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal> NFM 2021 is a virtual event organized by<o:p></o:p></p><p class=MsoNormal> the Formal Methods Team at <o:p></o:p></p><p class=MsoNormal> NASA Langley Research Center, Hampton, VA, USA<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal> ** Free Registration **<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>***********************************************************************<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>Virtual Symposium<o:p></o:p></p><p class=MsoNormal>-----------------<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>Due to concerns about COVID-19, NFM 2021 is going virtual. We invite<o:p></o:p></p><p class=MsoNormal>the formal methods and aligned communities to use this opportunity of<o:p></o:p></p><p class=MsoNormal>a virtual symposium to participate and engage in a very exciting set<o:p></o:p></p><p class=MsoNormal>of paper presentations and keynote talks.<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>Theme of the Symposium<o:p></o:p></p><p class=MsoNormal>----------------------<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>The widespread use and increasing complexity of mission-critical and<o:p></o:p></p><p class=MsoNormal>safety-critical systems at NASA and in the aerospace industry require<o:p></o:p></p><p class=MsoNormal>advanced techniques that address these systems' specification, design,<o:p></o:p></p><p class=MsoNormal>verification, validation, and certification requirements. The NASA<o:p></o:p></p><p class=MsoNormal>Formal Methods Symposium (NFM) is a forum to foster collaboration<o:p></o:p></p><p class=MsoNormal>between theoreticians and practitioners from NASA, academia, and<o:p></o:p></p><p class=MsoNormal>industry. NFM's goals are to identify challenges and to provide<o:p></o:p></p><p class=MsoNormal>solutions for achieving assurance for such critical systems.<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>New developments and emerging applications like autonomous software<o:p></o:p></p><p class=MsoNormal>for Unmanned Aerial Systems (UAS), UAS Traffic Management (UTM),<o:p></o:p></p><p class=MsoNormal>advanced separation assurance algorithms for aircraft, and the need<o:p></o:p></p><p class=MsoNormal>for system-wide fault detection, diagnosis, and prognostics provide<o:p></o:p></p><p class=MsoNormal>new challenges for system specification, development, and verification<o:p></o:p></p><p class=MsoNormal>approaches. Similar challenges need to be addressed during development<o:p></o:p></p><p class=MsoNormal>and deployment of on-board software for both spacecraft and ground<o:p></o:p></p><p class=MsoNormal>systems.<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>The focus of the symposium will be on formal techniques and other<o:p></o:p></p><p class=MsoNormal>approaches for software assurance, including their theory, current<o:p></o:p></p><p class=MsoNormal>capabilities and limitations, as well as their potential application<o:p></o:p></p><p class=MsoNormal>to aerospace, robotics, and other NASA-relevant safety-critical<o:p></o:p></p><p class=MsoNormal>systems during all stages of the software life-cycle.<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>The NASA Formal Methods Symposium is an annual event organized by the<o:p></o:p></p><p class=MsoNormal>NASA Formal Methods (NFM) Steering Committee, comprised of researchers<o:p></o:p></p><p class=MsoNormal>spanning several NASA centers. NFM 2021 is being organized by the NASA<o:p></o:p></p><p class=MsoNormal>Langley Research Center in Hampton, VA. More information about past<o:p></o:p></p><p class=MsoNormal>NFM Symposiums can be found here: https://shemesh.larc.nasa.gov/NFM.<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>Registration<o:p></o:p></p><p class=MsoNormal>------------<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>There is no registration fee charged to participants. All interested<o:p></o:p></p><p class=MsoNormal>individuals are welcome to attend; however, all attendees must<o:p></o:p></p><p class=MsoNormal>register here:<o:p></o:p></p><p class=MsoNormal>https://shemesh.larc.nasa.gov/nfm2021/#loc-registration.<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>Keynote Speakers<o:p></o:p></p><p class=MsoNormal>----------------<o:p></o:p></p><p class=MsoNormal>* Erika Abraham (RWTH Aachen University, Germany)<o:p></o:p></p><p class=MsoNormal>* Cristina Cifuentes (Oracle Labs, Australia)<o:p></o:p></p><p class=MsoNormal>* Matthew B. Dwyer (University of Virginia, USA)<o:p></o:p></p><p class=MsoNormal>* Azadeh Farzan (University of Toronto, Canada)<o:p></o:p></p><p class=MsoNormal>* Rob Manning (NASA Jet Propulsion Laboratory, USA)<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>NFM2021 Program & F-IDE 2021 Workshop<o:p></o:p></p><p class=MsoNormal>--------------------------<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>The complete program is available here:<o:p></o:p></p><p class=MsoNormal>https://shemesh.larc.nasa.gov/nfm2021/program.html.<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>This year the 6th Workshop on Formal Integrated Development<o:p></o:p></p><p class=MsoNormal>Environment (F-IDE 2021) will be virtually hosted with NFM 2021. More<o:p></o:p></p><p class=MsoNormal>information can be found at https://cister-labs.pt/f-ide2021.<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>Organizers<o:p></o:p></p><p class=MsoNormal>----------<o:p></o:p></p><p class=MsoNormal>* Cesar Munoz (General co-chair)<o:p></o:p></p><p class=MsoNormal>* Ivan Perez (General co-chair)<o:p></o:p></p><p class=MsoNormal>* Aaron Dutle (PC co-chair)<o:p></o:p></p><p class=MsoNormal>* Mariano Moscato (PC co-chair)<o:p></o:p></p><p class=MsoNormal>* Laura Titolo (PC co-chair)<o:p></o:p></p></div></body></html>