*********************************************************************************
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 there 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)
---
To opt-out from this mailing list, send an email to
fm-announcements-requ...@lists.nasa.gov
with the word 'unsubscribe' as subject or in the body. You can also make the
request by contacting
fm-announcements-ow...@lists.nasa.gov
_______________________________________________
Om-announce mailing list
Om-announce@openmath.org
http://mailman.openmath.org/cgi-bin/mailman/listinfo/om-announce
