<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 style="margin: 0px 0px 0px 7px; min-width: 370px;">
<div style="margin: 0px 0px 8px 8px; min-width: 0px;">
<div style="margin: 2px 2px 8px; padding-right: 12px; padding-bottom: 12px; padding-left: 12px; border-width: 1px; border-style: solid; border-color: transparent; border-radius: 4px;">
<div style="margin: 12px 16px 0px 52px; padding-bottom: 2px;">
<p style="direction: ltr; text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0in;">
<span style="font-family: Calibri, sans-serif; font-size: 11pt; color: rgb(36, 36, 36);">NFM 2024 — Call for Participation</span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0in;">
<span style="font-family: Calibri, sans-serif; font-size: 11pt; color: rgb(36, 36, 36);"> </span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0in;">
<span style="font-family: Calibri, sans-serif; font-size: 11pt; color: rgb(36, 36, 36);">16th NASA Formal Methods Symposium (NFM)</span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0in;">
<span style="font-family: Calibri, sans-serif; font-size: 11pt; color: rgb(36, 36, 36);"> </span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0in;">
<span style="font-family: Calibri, sans-serif; font-size: 11pt; color: rgb(36, 36, 36);">June 4–6, 2024</span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0in;">
<span style="font-family: Calibri, sans-serif; font-size: 11pt; color: rgb(36, 36, 36);"> </span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0in;">
<span style="font-family: Calibri, sans-serif; font-size: 11pt; color: rgb(36, 36, 36);">NASA Ames Research Center, Moffett Field, California, United States</span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0in;">
<span style="font-family: Calibri, sans-serif; font-size: 11pt; color: rgb(36, 36, 36);"> </span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0in;">
<span style="font-family: Calibri, sans-serif; font-size: 11pt; color: rgb(70, 120, 134);"><u><a href="https://conf.researchr.org/home/nfm-2024" target="_blank" id="OWA12aef2f0-ea7f-232f-9232-69a22cd17485" class="x_OWAAutoLink" title="Original URL: https://conf.researchr.org/home/nfm-2024. Click or tap if you trust this link." rel="noopener noreferrer" shash="dC0A8mNEqmJfB5f9kGWy/O4NeS3JA/23Y+0K6JzwCvXWLpsOvzIly4uCp93jc/I4SuLpWutcu/1LojKKeei7+td9JsbrMZYU7maaHcgk4SKd8f62Phibz62tW/Ma1NYtK6KLyT43PjTv//spc7SaOCFahfqJG/RIVh/d3B5Qt8k=" originalsrc="https://conf.researchr.org/home/nfm-2024" data-auth="Verified" data-linkindex="0" style="color: rgb(70, 120, 134); margin: 0px;">https://conf.researchr.org/home/nfm-2024</a></u></span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0in;">
<span style="font-family: Calibri, sans-serif; font-size: 11pt; color: rgb(36, 36, 36);"> </span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0in;">
<span style="font-family: Calibri, sans-serif; font-size: 11pt; color: rgb(36, 36, 36);">----------------------------------------------------------------------------</span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0in;">
<span style="font-family: Calibri, sans-serif; font-size: 11pt; color: rgb(36, 36, 36);"> </span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0in;">
<span style="font-family: Calibri, sans-serif; font-size: 11pt; color: rgb(36, 36, 36);">* There is no registration fee! *</span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0in;">
<span style="font-family: Calibri, sans-serif; font-size: 11pt; color: rgb(36, 36, 36);"> </span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0in;">
<span style="font-family: Calibri, sans-serif; font-size: 11pt; color: rgb(36, 36, 36);">The NASA Formal Methods (NFM) Symposium is an annual forum to foster collaboration between theoreticians and practitioners from NASA, other government agencies, academia,
and industry, with the goal of identifying challenges and providing solutions towards achieving assurance for safety critical systems.</span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0in;">
<span style="font-family: Calibri, sans-serif; font-size: 11pt; color: rgb(36, 36, 36);"> </span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0in;">
<span style="font-family: Calibri, sans-serif; font-size: 11pt; color: rgb(36, 36, 36);">NFM 2024 will be held June 4—6, 2024 at the NASA Ames Research Center in Moffett Field, California, USA.</span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0in;">
<span style="font-family: Calibri, sans-serif; font-size: 11pt; color: rgb(36, 36, 36);"> </span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0in;">
<span style="font-family: Calibri, sans-serif; font-size: 11pt; color: rgb(36, 36, 36);">The symposium features presentation sessions on Advances in Solver technology, Formal Methods for Program Analysis and Verification, SMT-based Assurance of Behavioral Specifications,
Formal Methods for Learning-enabled Systems, Formal Methods for Automotive Systems, Formal Methods for Robotics, and Formal Methods for Software Engineering. There will also be a tool demonstration session and panel discussion on trusted autonomy.</span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0in;">
<span style="font-family: Calibri, sans-serif; font-size: 11pt; color: rgb(36, 36, 36);"> </span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0in;">
<span style="font-family: Calibri, sans-serif; font-size: 11pt; color: rgb(36, 36, 36);"> </span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0in;">
<span style="font-family: Calibri, sans-serif; font-size: 11pt; color: rgb(36, 36, 36);">Keynote Speakers</span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0in;">
<span style="font-family: Calibri, sans-serif; font-size: 11pt; color: rgb(36, 36, 36);"> </span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0in;">
<span style="font-family: Calibri, sans-serif; font-size: 11pt; color: rgb(36, 36, 36);">"Autonomy Challenges for Future NASA Science and Exploration Missions."</span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0in;">
<span style="font-family: Calibri, sans-serif; font-size: 11pt; color: rgb(36, 36, 36);">Dr. Butler Hine, Project Manager for the HelioSwarm mission, NASA</span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0in;">
<span style="font-family: Calibri, sans-serif; font-size: 11pt; color: rgb(36, 36, 36);"> </span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0in;">
<span style="font-family: Calibri, sans-serif; font-size: 11pt; color: rgb(36, 36, 36);">"Formal Verification and Run-time Monitoring for Learning-Enabled Autonomous Systems."</span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0in;">
<span style="font-family: Calibri, sans-serif; font-size: 11pt; color: rgb(36, 36, 36);">Dr. Corina Pasareanu, ACM Distinguished Scientist, NASA Ames and CMU</span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0in;">
<span style="font-family: Calibri, sans-serif; font-size: 11pt; color: rgb(36, 36, 36);"> </span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0in;">
<span style="font-family: Calibri, sans-serif; font-size: 11pt; color: rgb(36, 36, 36);">"Safety under uncertainty: Automotive standards for AI safety and research perspectives."</span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0in;">
<span style="font-family: Calibri, sans-serif; font-size: 11pt; color: rgb(36, 36, 36);">Dr. Simon Burton, Chair of Systems Safety at University of York</span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0in;">
<span style="font-family: Calibri, sans-serif; font-size: 11pt; color: rgb(36, 36, 36);"> </span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0in;">
<span style="font-family: Calibri, sans-serif; font-size: 11pt; color: rgb(36, 36, 36);"> </span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0in;">
<span style="font-family: Calibri, sans-serif; font-size: 11pt; color: rgb(36, 36, 36);">Panel Session</span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0in;">
<span style="font-family: Calibri, sans-serif; font-size: 11pt; color: rgb(36, 36, 36);"> </span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0in;">
<span style="font-family: Calibri, sans-serif; font-size: 11pt; color: rgb(36, 36, 36);">The topic of the discussion will be Trusted Autonomy, chaired by Dr. Guillaume Brat, NASA Ames Research Center.</span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0in;">
<span style="font-family: Calibri, sans-serif; font-size: 11pt; color: rgb(36, 36, 36);"> </span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0in;">
<span style="font-family: Calibri, sans-serif; font-size: 11pt; color: rgb(36, 36, 36);">Panelists:</span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0in;">
<span style="font-family: Calibri, sans-serif; font-size: 11pt; color: rgb(36, 36, 36);">Dr. Huafeng Yu (Senior Scientist from US Department of Transport)</span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0in;">
<span style="font-family: Calibri, sans-serif; font-size: 11pt; color: rgb(36, 36, 36);">Dr. Jean-Guillaume Durand (Applied Scientist from Xwing)</span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0in;">
<span style="font-family: Calibri, sans-serif; font-size: 11pt; color: rgb(36, 36, 36);">Dr. Marco Pavone (Director of Autonomous Vehicle Research at NVIDIA)</span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0in;">
<span style="font-family: Calibri, sans-serif; font-size: 11pt; color: rgb(36, 36, 36);">Dr. Darren Cofer (Principal Fellow at Collins Aerospace)</span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0in;">
<span style="font-family: Calibri, sans-serif; font-size: 11pt; color: rgb(36, 36, 36);"> </span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0in;">
<span style="font-family: Calibri, sans-serif; font-size: 11pt; color: rgb(36, 36, 36);">For more information about the program, please see
</span><span style="font-family: Calibri, sans-serif; font-size: 11pt; color: rgb(70, 120, 134);"><u><a href="https://conf.researchr.org/home/nfm-2024#program" target="_blank" id="OWA7b4c235c-fda7-931f-95ea-01a0193921ba" class="x_OWAAutoLink" title="Original URL: https://conf.researchr.org/home/nfm-2024#program. Click or tap if you trust this link." rel="noopener noreferrer" shash="Ez+NVlJmmpaqjojjwdH9DzsolxGfV5NYW6LwKoGo4JjtINJlQK1j75Lvvn0dF/2n1APKMpGO0fX6LXfIUaBboDi1U5NFb++z0DYVmsSfo5XFRuLx6TKtudJN6JWuj7mrDt1o8q2PBg1HUEp41KiQdw8Ump7OKL1PI+4tAp8Adek=" originalsrc="https://conf.researchr.org/home/nfm-2024#program" data-auth="Verified" data-linkindex="1" style="color: rgb(70, 120, 134); margin: 0px;">https://conf.researchr.org/home/nfm-2024#program</a></u></span><span style="font-family: Calibri, sans-serif; font-size: 11pt; color: rgb(36, 36, 36);">.</span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0in;">
<span style="font-family: Calibri, sans-serif; font-size: 11pt; color: rgb(36, 36, 36);"> </span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0in;">
<span style="font-family: Calibri, sans-serif; font-size: 11pt; color: rgb(36, 36, 36);"> </span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0in;">
<span style="font-family: Calibri, sans-serif; font-size: 11pt; color: rgb(36, 36, 36);">Registration</span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0in;">
<span style="font-family: Calibri, sans-serif; font-size: 11pt; color: rgb(36, 36, 36);"> </span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0in;">
<span style="font-family: Calibri, sans-serif; font-size: 11pt; color: rgb(36, 36, 36);">There is no registration fee charged to participants. All interested individuals are welcome to attend.</span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0in;">
<span style="font-family: Calibri, sans-serif; font-size: 11pt; color: rgb(36, 36, 36);">However, all attendees must register here:
</span><span style="font-family: Calibri, sans-serif; font-size: 11pt; color: rgb(70, 120, 134);"><u><a href="https://conf.researchr.org/info/nfm-2024/registration" target="_blank" id="OWAd85e65e6-7564-dd89-d377-caa9728a920f" class="x_OWAAutoLink" title="Original URL: https://conf.researchr.org/info/nfm-2024/registration. Click or tap if you trust this link." rel="noopener noreferrer" shash="XuCznUEzs+QqD5uIe2twrvt2Evns4yFpGYz3E6OnLwbGQwyqMPP86mN/vrEMcNS2E+DX2eAZz4jMdI7CeFkh3kAbY5WeJckq2poEtkN2AA6kDKTx1ZhKNSqmpdsBTbWC5LJtfREOVzsUJyqEFAdZ0Gi8J7wTl+3nGWeyFtBPoPQ=" originalsrc="https://conf.researchr.org/info/nfm-2024/registration" data-auth="Verified" data-linkindex="2" style="color: rgb(70, 120, 134); margin: 0px;">https://conf.researchr.org/info/nfm-2024/registration</a></u></span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0in;">
<span style="font-family: Calibri, sans-serif; font-size: 11pt; color: rgb(36, 36, 36);"> </span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0in;">
<span style="font-family: Calibri, sans-serif; font-size: 11pt; color: rgb(36, 36, 36);"> </span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0in;">
<span style="font-family: Calibri, sans-serif; font-size: 11pt; color: rgb(36, 36, 36);">----------------------------------------------------------------------------</span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0in;">
<span style="font-family: Calibri, sans-serif; font-size: 11pt; color: rgb(36, 36, 36);"> </span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0in;">
<span style="font-family: Calibri, sans-serif; font-size: 11pt; color: rgb(36, 36, 36);">Conference Chairs: Nathan Benz, Divya Gopinath, Nija Shi</span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0in;">
<span style="font-family: Calibri, sans-serif; font-size: 11pt; color: rgb(36, 36, 36);">Contact:
</span><span style="font-family: Calibri, sans-serif; font-size: 11pt; color: rgb(70, 120, 134);"><u><a href="mailto:nfm24-chairs@lists.nasa.gov" id="OWAb522b6f6-cc90-8284-4d2c-0f0e72c94571" class="x_OWAAutoLink" data-linkindex="3" style="color: rgb(70, 120, 134); margin: 0px;">nfm24-chairs@lists.nasa.gov</a></u></span></p>
</div>
<div style="margin: 12px 0px 0px 52px;"></div>
<div style="margin: 12px 16px 0px 48px;"></div>
</div>
</div>
<div style="margin: 0px; padding-top: 4px;">
<div style="margin: 0px 0px 0px 8px; border-radius: 2px 2px 0px 0px; max-width: 200px; min-width: 80px;">
<div style="margin: 0px; padding-right: 10px; padding-left: 8px;"></div>
</div>
<div style="margin: 0px 8px; border-radius: 2px 2px 0px 0px; max-width: 200px; min-width: 80px;">
<div style="margin: 0px; padding-right: 10px; padding-left: 8px;"></div>
</div>
</div>
</div>
<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
</body>
</html>