<div dir="ltr"><div class="gmail_default" style="color:rgb(0,0,0)"><i>Announcing a AAAI Bridge: </i><span style="background-color:transparent;color:rgb(7,55,99);font-family:"Times New Roman",serif;font-size:13pt;font-style:italic;font-weight:700;text-align:center">Making Embodied AI Reliable with Testing and Formal Verification</span></div><span id="m_4802569868684318783gmail-docs-internal-guid-4fcbf1af-7fff-3e74-89a6-80533f3e7126"><p dir="ltr" style="line-height:1.2;margin-top:14pt;margin-bottom:14pt"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;text-decoration-line:underline;vertical-align:baseline">Description of the Bridge</span></p><p dir="ltr" style="line-height:1.2;margin-top:14pt;margin-bottom:14pt"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">This bridge addresses one of the most urgent challenges in AI: how to make embodied AI systems — such as autonomous vehicles, UAVs, and robots — </span><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-weight:700;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">interpretable, testable, and formally verifiable</span><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">. While modern AI models excel in perception and decision-making, they </span><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-weight:700;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">pose significant challenges for traditional verification techniques</span><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">, raising critical risks in safety-sensitive domains. The goal of this bridge is to unite diverse communities—AI/ML, formal methods, software engineering, robotics, and cyber-physical systems—in developing a shared roadmap for reliable embodied A<span class="gmail_default"></span>I. Participants will engage with cutting-edge approaches in </span><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-weight:700;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">neurosymbolic reasoning, LLM-guided specification mining, scenario-based testing, compositional verification, and robustness under uncertainty</span><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">, and explore their potential to support certification and assurance of AI-enabled autonomy.</span></p><p dir="ltr" style="line-height:1.2;margin-top:14pt;margin-bottom:14pt"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;text-decoration-line:underline;vertical-align:baseline">Topics</span></p><p dir="ltr" style="line-height:1.2;margin-top:14pt;margin-bottom:14pt"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">- Testability and verifiability of AI-enabled autonomy</span><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><br></span><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">- LLM-guided specification mining and scenario generation</span><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><br></span><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">- White-box and compositional verification of neural and neurosymbolic components</span><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><br></span><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">- Neurosymbolic architectures for modular reasoning and distillation</span><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><br></span><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">- Robustness under sensing noise, ambiguous instructions, and human-robot interaction</span><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><br></span><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">- Formal guardrails for LLMs and VLMs in embodied decision-making</span></p><p dir="ltr" style="line-height:1.2;margin-top:14pt;margin-bottom:14pt"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;text-decoration-line:underline;vertical-align:baseline">Format of the Bridge</span></p><p dir="ltr" style="line-height:1.2;margin-top:14pt;margin-bottom:14pt"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">This </span><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-weight:700;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">one-day event</span><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"> will combine tutorials, keynote talks, technical presentations, panel discussions, and interactive breakout sessions. The morning program will feature tutorials and invited keynotes from leaders in neurosymbolic AI, formal verification, and embodied autonomy, followed by selected paper presentations. The afternoon will include a panel on certification challenges and breakout discussions organized around open problems such as scenario-based testing, compositional verification, and robustness under uncertainty.</span></p><p dir="ltr" style="line-height:1.2;margin-top:14pt;margin-bottom:14pt"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;text-decoration-line:underline;vertical-align:baseline">Attendance</span></p><p dir="ltr" style="line-height:1.2;margin-top:14pt;margin-bottom:14pt"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">We anticipate </span><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-weight:700;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">50–80 participants</span><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">, with priority given to researchers and practitioners in AI, robotics, formal methods, and autonomous cyber-physical systems. Early-career researchers and graduate students are strongly encouraged to participate, with mentoring opportunities included.</span></p><p dir="ltr" style="line-height:1.2;margin-top:14pt;margin-bottom:14pt"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;text-decoration-line:underline;vertical-align:baseline">Submission requirements</span></p><p dir="ltr" style="line-height:1.2;margin-top:14pt;margin-bottom:14pt"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">We invite </span><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-weight:700;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">2–4 page extended abstracts or position papers</span><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"> describing research advances, tools, or case studies relevant to reliable embodied AI. Submissions should emphasize how the work enhances testability, interpretability, or verification of embodied AI. Accepted contributions will be presented as talks, posters, or lightning sessions.</span></p><p dir="ltr" style="line-height:1.2;margin-top:14pt;margin-bottom:14pt"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;text-decoration-line:underline;vertical-align:baseline">Submission site information</span></p><p dir="ltr" style="line-height:1.2;margin-top:14pt;margin-bottom:14pt"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">Submissions should be made via </span><a href="https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Daaai26bridgereai&data=05%7C02%7Cfm-announcements%40lists.nasa.gov%7Cb19be1296b2f4ac8818a08de051b506d%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C638953812034655235%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=ryy0VbV3%2FBJe1%2FmEqinpXQ4XBjUUzNM4pknYMwPIbZA%3D&reserved=0" originalSrc="https://easychair.org/conferences/?conf=aaai26bridgereai" target="_blank" style="text-decoration-line:none"><span style="font-size:12pt;font-family:"Times New Roman",serif;background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;text-decoration-line:underline;vertical-align:baseline">https://easychair.org/conferences/?conf=aaai26bridgereai</span></a><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">  </span></p><p dir="ltr" style="line-height:1.2;margin-top:14pt;margin-bottom:14pt"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;text-decoration-line:underline;vertical-align:baseline">Bridge Chairs</span></p><p dir="ltr" style="line-height:1.2;margin-top:14pt;margin-bottom:14pt"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">Assoc. Prof. Xi (James) Zheng</span><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><br></span><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">Macquarie University</span><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><br></span><a href="mailto:james.zheng@mq.edu.au" target="_blank" style="text-decoration-line:none"><span style="font-size:12pt;font-family:"Times New Roman",serif;background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;text-decoration-line:underline;vertical-align:baseline">james.zheng@mq.edu.au</span></a></p><p dir="ltr" style="line-height:1.2;margin-top:14pt;margin-bottom:14pt"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">Prof. Corina S. Pasareanu</span><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><br></span><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">Carnegie Mellon University / NASA Ames</span><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><br></span><a href="mailto:corina.pasareanu@cmu.edu" target="_blank" style="text-decoration-line:none"><span style="font-size:12pt;font-family:"Times New Roman",serif;background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;text-decoration-line:underline;vertical-align:baseline">corina.pasareanu@cmu.edu</span></a></p><p dir="ltr" style="line-height:1.2;margin-top:14pt;margin-bottom:14pt"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">Asst. Prof. Ivan Ruchkin</span><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><br></span><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">University of Florida</span><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><br></span><a href="mailto:iruchkin@ece.ufl.edu" target="_blank" style="text-decoration-line:none"><span style="font-size:12pt;font-family:"Times New Roman",serif;background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;text-decoration-line:underline;vertical-align:baseline">iruchkin@ece.ufl.edu</span></a></p><p dir="ltr" style="line-height:1.2;margin-top:14pt;margin-bottom:14pt"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">Prof. Archan Misra</span><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><br></span><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">Singapore Management University</span><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><br></span><a href="mailto:archanm@smu.edu.sg" target="_blank" style="text-decoration-line:none"><span style="font-size:12pt;font-family:"Times New Roman",serif;background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;text-decoration-line:underline;vertical-align:baseline">archanm@smu.edu.sg</span></a></p><p dir="ltr" style="line-height:1.2;margin-top:14pt;margin-bottom:14pt"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;text-decoration-line:underline;vertical-align:baseline">Bridge Program Committee</span></p><p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:8pt"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">Ziyang Li (Johns Hopkins University)</span></p><p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:8pt"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">David Lo (Singapore Management University)</span></p><p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:8pt"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">Djordje Žikelić (Singapore Management University)</span></p><p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:8pt"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">Anna Lukina (Delft University of Technology)</span></p><p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:8pt"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">Aloysius K. Mok (University of Texas at Austin)</span></p><p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:8pt"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">Kenneth Kwok (A-STAR, Singapore)</span></p><p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:8pt"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">Daniel Neider (TU Dortmund University)</span></p><p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:8pt"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">Vijay Ganesh (Georgia Institute of Technology)</span></p><p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:8pt"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">Biplav Srivastava (University of South Carolina)</span></p><p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:8pt"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">Guy Van Den Broeck (Universit<span class="gmail_default"></span>y of California, Los Angeles)</span></p><p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:8pt"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">Basura Fernando (A-STAR, Singapore)</span></p><p dir="ltr" style="line-height:1.2;margin-top:14pt;margin-bottom:14pt"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;text-decoration-line:underline;vertical-align:baseline">Bridge URL</span><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-weight:700;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><br></span><a href="https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.tacps.org%2F&data=05%7C02%7Cfm-announcements%40lists.nasa.gov%7Cb19be1296b2f4ac8818a08de051b506d%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C638953812034669173%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=KmGs0ZDycgkMwA1%2FWEdYM5bGm5W1Oj87igT3Y0SD0GE%3D&reserved=0" originalSrc="https://www.tacps.org/" target="_blank" style="text-decoration-line:none"><span style="font-size:12pt;font-family:"Times New Roman",serif;background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;text-decoration-line:underline;vertical-align:baseline">https://www.tacps.org</span></a></p><p dir="ltr" style="line-height:1.2;margin-top:14pt;margin-bottom:14pt"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;text-decoration-line:underline;vertical-align:baseline">Important dates</span></p><p dir="ltr" style="line-height:1.2;margin-top:14pt;margin-bottom:14pt"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">– Submissions due: </span><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-weight:700;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">October 31, 2025</span></p><p dir="ltr" style="line-height:1.2;margin-top:14pt;margin-bottom:14pt"><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">– Notifications: </span><span style="font-size:12pt;font-family:"Times New Roman",serif;color:rgb(0,0,0);background-color:transparent;font-weight:700;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">November 14, 2025</span></p></span><div class="gmail-yj6qo"></div><br><br></div>