Call for Participation - 12th NASA Formal Methods Symposium (NFM2020)

*********************************************************************************

   The 12th NASA Formal Methods Symposium (NFM2020)

https://ti.arc.nasa.gov/events/nfm-2020/

NFM2020 is virtual and organized by the

NASA Ames Research Center, Moffett Field, CA, USA

May 11-15, 2020

*********************************************************************************

* There is no registration fee! *

Virtual Symposium

-------------------------

Due to concerns about COVID-19, NFM 2020 is going virtual. We invite the formal methods and aligned communities to use this opportunity of a virtual symposium to participate and engage in a very exciting set of paper presentations and fascinating keynote talks. 

Theme of the Symposium:

-----------------------------------

The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and the aerospace industry requires advanced techniques that address their specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and the industry, with the goal of identifying challenges and providing solutions towards achieving assurance for such critical systems.

New developments and emerging applications like autonomous on-board 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. The focus of these symposiums are 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 NASA Formal Methods Symposium is an annual event organized by the NASA Formal Methods (NFM) Steering Committee, comprised of researchers spanning several NASA centers. NFM 2020 is being organized by the NASA Ames Research Center in Moffett Field, CA. More information about past NFM Symposiums can be found here: https://shemesh.larc.nasa.gov/NFM/

Registration:

-----------------

There is no registration fee charged to participants. All interested individuals are welcome to attend; however, all attendees must register: https://ti.arc.nasa.gov/events/nfm-2020/registration/

Keynote Speakers:

-------------------------

* Léonard Bouygues (Google Loon)

* Byron Cook (Amazon Web Services, University College London)

* David Dill (Facebook, Stanford University)

* Dana Schulze (National Transportation Safety Board)

* Sanjit Seshia (University of California Berkeley)

* Vandi Verma (NASA Jet Propulsion Laboratory)

NFM2020 Program & Workshops

--------------------------------------------

Please see the program here: https://ti.arc.nasa.gov/events/nfm-2020/program/

This year the following two workshops will be virtually hosted with NFM2020:

* AI Safety Workshop, Monday May 11th, 2020. Confirmed speakers:

• Clark Barrett (Stanford University)

• Kamalika Chaudhuri (University of California, San Diego)

• Krishnamurthy Dvijotham (DeepMind)

• Suman Jana (Columbia University)

• Nils Jansen (Radboud University Nijmegen)

• Mykel Kochenderfer (Stanford University)

• Andreas Krause (ETH)

• Changliu Liu (Carnegie Mellon University)

• James Lopez (GE Research)

• Dorsa Sadigh (Stanford University)

• Sriram Sankaranarayanan (University of Colorado at Boulder)

• Iain Whiteside (Five AI)

https://sites.google.com/stanford.edu/nfm-ai-safety-20/

* Cryptographic Proofs Workshop, Friday 15th 2020

https://fmcpworkshop.onai.com/

Organizers:

---------------

* Dimitra Giannakopoulou (General co-Chair)

* Anastasia Mavridou (General co-Chair)

* Ritchie Lee (PC co-Chair)

* Susmit Jha (PC co-Chair)

* Hamza Bourbouh (Local Organization)

* Maxime Arthaud (Local Organization)