[Om-announce] [fm-announcements] NASA Formal Methods Symposium (NFM2021) -- Final CFP (Extended Deadline)

Munoz, Cesar (LARC-D320) via fm-announcements fm-announcements at lists.nasa.gov
Wed Nov 25 18:40:17 CET 2020


        Final Call for Papers -- Extended Deadline

   The Thirteenth NASA Formal Methods Symposium


                May 24-28, 2021

           Virtual / Norfolk, VA, USA



Currently, the symposium is planned to be held in an in-person/virtual hybrid

format in Norfolk, VA, USA, highly likely transitioning to fully virtual if the

COVID-19 situation persists. Virtual presentation of papers will be possible

even if the conference is also held in-person.


Important Dates (Extend Deadline):


Abstract Submission: December 7, 2020 (extended)

Paper Submission:  December 14, 2020 (extended)

Paper Notifications: February 19, 2021

Camera-ready Papers: March 19, 2021

Symposium: May 24-28, 2021


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) Research Group, comprised of researchers

spanning six NASA centers. NFM2021 is being organized by the NASA

Langley Formal Methods Team.


Topics of Interest:


We encourage submissions on cross-cutting approaches that bring

together formal methods and techniques from other domains such as

probabilistic reasoning, machine learning, control theory, robotics,

and quantum computing among others.  Topics of interest include, but

are not limited to, the following aspects of formal methods:


- Advances in formal methods:

  - Formal verification, model checking, and static analysis techniques

  - Theorem proving: advances in interactive and automated theorem

     proving (SAT, SMT, etc.)

  - Program and specification synthesis, code transformation and generation

  - Run-time verification

  - Techniques and algorithms for scaling formal methods

  - Test case generation

  - Design for verification and correct-by-design techniques

  - Requirements generation, specification, and validation


- Integration of formal methods techniques:

  - Use of machine learning techniques in formal methods

  - Integration of formal methods into software engineering practices 

  - Integration of diverse formal methods techniques

  - Combination of formal methods with simulation and analysis techniques


- Formal methods in practice:

  - Experience report of application of formal methods in industry

  - Use of formal methods in education

  - Verification of machine learning techniques

  - Applications of formal methods in the development of:

    - autonomous systems,

    - safety-critical systems,

    - concurrent and distributed systems,

    - cyber-physical, embedded, and hybrid systems

    - fault-detection, diagnostics, and prognostics systems

    - human-machine interaction analysis


Submission Details:


There are two categories of submissions:

1. Regular papers describing fully developed work and complete results

    (maximum 15 pages);

2. Short papers on tools, experience reports, or work in progress with

    preliminary results (maximum 6 pages).


The submitted papers should not exceed 15 pages for regular papers and

6 pages for short papers, including tables and figures, but excluding

bibliography and clearly marked appendices.  The papers should be

self-contained, as appendices will not be included in the published

proceedings.  In addition to appendices, authors are encouraged to

make available any other supplementary material supporting the claims

made in the paper, such as proof scripts or experimental data, as the

availability and reproducibility of these artifacts may be considered

by reviewers in scoring.  All papers must be in English and describe

original work that has not been published or submitted elsewhere.  All

submissions will be reviewed by at least three members of the Program

Committee in a single-blind reviewing format.


Papers will appear in the Formal Methods subline of Springer's Lecture

Notes in Computer Science (LNCS) and must use LNCS style formatting


Papers must be submitted in PDF format at the EasyChair submission

site: https://easychair.org/conferences/?conf=nfm2021.


Authors of selected best papers will be invited to submit an extended

version to a special issue in Springer's Innovations in Systems and

Software Engineering: A NASA Journal





• Cesar Munoz, NASA, USA (General Co-Chair)

• Ivan Perez, National Institute of Aerospace, USA (General Co-Chair)

• Aaron Dutle, NASA, USA (PC Co-Chair)

• Mariano Moscato, National Institute of Aerospace, USA (PC Co-Chair)

• Laura Titolo, National Institute of Aerospace, USA (PC Co-Chair)


Program Committee:


Erika Abraham, RWTH Aachen University, Germany

Mauricio Ayala-Rincon, Universidade de Brasilia, Brazil

Julia Badger, NASA, USA

Nikolaj Bjorner, Microsoft Research, USA

Jasmin Blanchette, Vrije Universiteit Amsterdam, The Netherlands

Sylvie Boldo, INRIA, France

Alessandro Cimatti, Fondazione Bruno Kessler, Italy

Misty Davies, NASA, USA

Gilles Dowek, INRIA / ENS Paris-Saclay, France

Catherine Dubois, ENSIIE-Samovar, France

Alexandre Duret-Lutz, LRDE/EPITA, France

Gabriel Ebner, Vienna University of Technology, Austria 

Marco Feliu, National Institute of Aerospace, USA

Jean-Christophe Filliatre, CNRS, France

Pierre-Loic Garoche, ENAC, France

Alwyn Goodloe, NASA, USA

John Harrison, Amazon Web Services, USA

Klaus Havelund, NASA Jet Propulsion Laboratory, USA

Marieke Huisman, University of Twente, The Netherlands

Brian Jalaian, ARL / Virginia Tech, USA

Susmit Jha, SRI International, USA

Michael Lowry, NASA, USA

Panagiotis Manolios, Northeastern University, USA

Paolo Masci, National Institute of Aerospace, USA

Anastasia Mavridou, SGT Inc. / NASA Ames Research Center, USA

Stefan Mitsch, Carnegie Mellon University, USA

Yannick Moy, AdaCore / INRIA, France

Natasha Neogi, NASA, USA

Laura Panizo, University of Malaga, Spain

Corina Pasareanu, CMU / NASA Ames Research Center, USA

Zvonimir Rakamaric, University of Utah, USA

Camilo Rocha, Pontificia Universidad Javeriana Cali, Colombia

Nicolas Rosner, Amazon Web Services, USA

Kristin-Yvonne Rozier, Iowa State University, USA

Cristina Seceleanu, Malardalen University, Sweden

Natarajan Shankar, SRI International, USA

Johann  Schumann, SGT Inc./NASA Ames Research Center, USA

Tanner Slagel, NASA, USA

Marielle Stoelinga, University of Twente, The Netherlands

Cesare Tinelli, University of Iowa, USA

Caterina Urban, INRIA, France

Virginie Wiels, ONERA / DTIM, France




Registration is required and free of charge.




Email: nfm2021 [at] easychair [dot] org

Web: https://shemesh.larc.nasa.gov/nfm2021/


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.openmath.org/pipermail/om-announce/attachments/20201125/daf670b3/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 7429 bytes
Desc: smime.p7s
URL: <http://mailman.openmath.org/pipermail/om-announce/attachments/20201125/daf670b3/attachment-0001.bin>
-------------- 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 Om-announce mailing list