The Coq mailing list

["Moscato, Mariano M. (LARC-D320)[NATIONAL INSTITUTE OF AEROSPACE]" <mariano.m.moscato AT nasa.gov>]

[ Please distribute, apologies for multiple postings. ]

***********************************************************************
               CALL FOR (VIRTUAL) PARTICIPATION       
 
         13th NASA Formal Methods Symposium (NFM 2021)
                                 May 24-28, 2021
 
               https://shemesh.larc.nasa.gov/nfm2021
 
           NFM 2021 is a virtual event organized by
                 the Formal Methods Team at
       NASA Langley Research Center, Hampton, VA, USA
 
                     ** Free Registration **
 
***********************************************************************
 
Virtual Symposium
-----------------
 
Due to concerns about COVID-19, NFM 2021 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 keynote talks.
 
 
Theme of the Symposium
----------------------
 
The widespread use and increasing complexity of mission-critical and
safety-critical systems at NASA and in the aerospace industry require
advanced techniques that address these systems' specification, design,
verification, validation, and certification requirements. The NASA
Formal Methods Symposium (NFM) is a forum to foster collaboration
between theoreticians and practitioners from NASA, academia, and
industry. NFM's goals are to identify challenges and to provide
solutions for achieving assurance for such critical systems.
 
New developments and emerging applications like autonomous 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. Similar challenges need to be addressed during development
and deployment of on-board software for both spacecraft and ground
systems.
 
The focus of the symposium will be 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 2021 is being organized by the NASA
Langley Research Center in Hampton, VA. 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 here:
https://shemesh.larc.nasa.gov/nfm2021/#loc-registration.
 
 
Keynote Speakers
----------------
* Erika Abraham (RWTH Aachen University, Germany)
* Cristina Cifuentes (Oracle Labs, Australia)
* Matthew B. Dwyer (University of Virginia, USA)
* Azadeh Farzan (University of Toronto, Canada)
* Rob Manning (NASA Jet Propulsion Laboratory, USA)
 
 
NFM2021 Program & F-IDE 2021 Workshop
--------------------------
 
The complete program is available here:
https://shemesh.larc.nasa.gov/nfm2021/program.html.
 
This year the 6th Workshop on Formal Integrated Development
Environment (F-IDE 2021) will be virtually hosted with NFM 2021. More
information can be found at https://cister-labs.pt/f-ide2021.
 
 
Organizers
----------
* Cesar Munoz (General co-chair)
* Ivan Perez (General co-chair)
* Aaron Dutle (PC co-chair)
* Mariano Moscato (PC co-chair)
* Laura Titolo (PC co-chair)



Mariano M. Moscato
Sr. Research Scientist
National Institute of Aerospace
Mariano.M.Moscato AT nasa.gov - Mariano.Moscato AT nianet.org
MS. 234, B1230 - R250 - C52
NASA Langley Research Center, Hampton, VA 23681-2199, USA
Office: +1 (757) 864 2744 Fax: +1 (757) 864 9987