<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=Windows-1252">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div><span style="font-family: Calibri, Arial, Helvetica, sans-serif; display: inline !important; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">The 16th NASA Formal Methods Symposium</span></div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
NFM 2024</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
June 4-6, 2024</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
Moffett Field, California</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
--------------------------------------------------</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
Important Dates:</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
--------------------------------------------------</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
Abstract submission: December 1, 2023</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
Full paper submission: December 8, 2023</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
Notification: February 16, 2024</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
Camera-ready version: March 15, 2024</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
--------------------------------------------------</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
Theme of the Symposium:</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
--------------------------------------------------</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
The widespread use and increasing complexity of mission-critical and</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
safety-critical systems at NASA and in the aerospace industry requires advanced</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
technologies to address their specification, design, verification, validation,</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
and certification processes. For example, there is an increasing need for</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
autonomous systems in deep space missions including NASA’s Moon to Mars</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
exploration plans. The NASA Formal Methods Symposium is a forum to foster</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
collaboration between theoreticians and practitioners from NASA, other</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
government agencies, academia, and industry, with the goal of identifying</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
challenges and providing solutions towards achieving assurance for such</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
critical systems. The focus of this symposium is on formal techniques for</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
software and system assurance for applications in space, aviation, robotics,</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
and other NASA-relevant safety-critical systems. This year’s symposium extends</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
the focus to safety assurance of machine learning enabled autonomous systems,</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
formal methods for digital transformation, and accessibility for new</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
industries.</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
--------------------------------------------------</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
Topics of Interest:</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
--------------------------------------------------</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
Advances in Formal Methods</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
* Formal verification, model checking, and static analysis</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
* Interactive and automated theorem proving</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
* Program and specification synthesis, code transformation and generation</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
* Run-time verification and test case generation</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
* Techniques and algorithms for scaling formal methods</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
* Design for verification and correct-by-design techniques</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
* Requirements generation, specification, and validation</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
Safety Assurance of Autonomous Systems</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
* Verification of machine learning (ML) enabled systems</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
* Run-time monitoring or model checking to ensure safe operation</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
* Formal specifications and modeling of ML enabled systems</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
* Case-studies/experience reports exploring the application of formal methods</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
in autonomous safety-critical, cyber-physical and hybrid systems</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
* Using formal evidence for certification of ML enabled systems</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
Formal Methods in Practice</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
* Experience reports of application of formal methods in industry</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
* Use of formal methods in education</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
* Applications of formal methods in:</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
- concurrent and distributed systems</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
- fault-detection, diagnostics, and prognostics systems</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
- human-machine interaction analysis</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
Safety Assurance of Autonomous Systems</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
* Verification of machine learning (ML) enabled systems</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
* Runtime monitoring or model checking to ensure safe operation</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
* Formal specifications and modeling of ML enabled systems</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
* Case-studies/experience reports exploring the application of formal methods</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
in autonomous safety-critical, cyber-physical and hybrid systems</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
* Using formal evidence for certification of ML enabled systems</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
Formal Methods for Digital Transformation</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
* Applications related to Digital Twin & Digital Thread</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
* Verification for integrated design and manufacturing</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
* AI digital assistants for system design</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
* Runtime monitoring for Smart Campus & Smart Cities</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
Accessibility of Formal Methods for New Industries</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
* "New Space" markets</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
* Advanced Air Mobility and Startup Aviation</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
* Formal Methods as a Service</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
--------------------------------------------------</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
Submissions:</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
--------------------------------------------------</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
There are two categories of submissions:</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
* Regular Papers (15 pages) including references, describing fully developed</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
work and complete results</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
* Short Papers (6 pages) including references, in one of the categories below:</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
- Tool papers describing novel and publicly available tools</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
- Case studies detailing applications of formal methods</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
- New emerging ideas in the topics of interest</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
All papers should be in English and describe original work that has not been</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
published or submitted elsewhere. NFM24 will be a hybrid conference. Authors of</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
accepted papers are encouraged to present their work in person at the</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
conference.</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
There will be a tool demonstration session at the conference, where tool</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
developers get to showcase their tools interactively with the attendees. All</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
tool papers, under the short papers category, are required to participate in</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
the tool demonstration session. uthors of regular papers are also welcome to</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
participate in the tool demonstration session to showcase their application.</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
All submitters who are interested in participating in the tool demonstration</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
session must include an additional appendix (maximum 4 pages and will not</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
appear in the proceedings) containing the description of the proposed demo and</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
the URL to a screencast demonstrating the tool. Authors of all accepted papers</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
additionally have an opportunity to present a poster.</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
All submissions will be fully reviewed by members of the Program Committee.</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
Accepted regular and short papers will be published in the Formal Methods</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
subline of Springer’s Lecture Notes in Computer Science (LNCS) and must use</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
LNCS style formatting described on</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
<a href="https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines" class="ms-outlook-linkify OWAAutoLink" target="_blank" style="margin:0px" id="OWA4cf1a695-cac6-059e-7d88-4c7d97d33aa0">https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines</a>.</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
Papers must be submitted in PDF format at the EasyChair submission site,</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
<a href="https://easychair.org/conferences/?conf=nfm2024" class="ms-outlook-linkify OWAAutoLink" target="_blank" style="margin:0px" id="OWAf5b3a01b-4d77-676d-344f-f9d1c01ec214">https://easychair.org/conferences/?conf=nfm2024</a>.</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
--------------------------------------------------</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
Location and Cost:</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
--------------------------------------------------</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
The symposium will take place at the NASA Ames Conference Center,</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
Moffett Field, California, USA.</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
There will be no registration fee charged to participants. All</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
interested individuals, including non-US citizens, are welcome to</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
attend, listen to the talks, and participate in discussions. However,</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
all attendees must register.</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
Nathan Benz</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
Divya Gopinath</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
Nija Shi</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
NFM '24 Chairs</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
nfm24-chairs@lists.nasa.gov</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">
<br>
</div>
</body>
</html>