[TYPES/announce] [fm-announcements] Call for (Virtual) Participation - NFM 2021

Munoz, Cesar (LARC-D320) via fm-announcements fm-announcements at lists.nasa.gov
Mon Apr 26 12:39:31 EDT 2021


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

                      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)

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20210426/ba8e036f/attachment-0001.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 7429 bytes
Desc: not available
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20210426/ba8e036f/attachment-0001.p7s>
-------------- next part --------------
---
To opt-out from this mailing list, send an email to

fm-announcements-request at lists.nasa.gov

with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting

fm-announcements-owner at lists.nasa.gov 


More information about the Types-announce mailing list