<div dir="ltr"><div class="gmail_default" style="color:rgb(0,0,0)"><span id="gmail-docs-internal-guid-24788794-7fff-8bcd-dd2e-abeb9d4c3d2c"><p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-weight:700;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">Call for Papers: 3rd International Workshop on Trustworthy Autonomous Cyber-Physical Systems (TACPS)</span></p><br><p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">We cordially invite submissions for the upcoming 3rd </span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-style:italic;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">International Workshop on Trustworthy Autonomous Cyber-Physical Systems (TACPS)</span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">, which explores the intersection of artificial intelligence, safety, security, testing, and verification in autonomous cyber-physical systems. This workshop will focus on </span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-weight:700;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">neurosymbolic methods</span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"> and </span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-weight:700;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">foundation models</span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"> to address the challenges of testing, verifying, and deploying autonomous systems in critical environments. Their typical examples include autonomous vehicles, aerial drones, and industrial control systems.</span></p><br><p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">The workshop will be held on </span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-weight:700;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">July 21, 2025</span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">. It will be co-located with the 37th International Conference on Computer-Aided Verification (CAV) in Zagreb, Croatia.</span></p><br><p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">Our primary goal is to facilitate meaningful discussions and idea exchanges between workshop paper authors and our world-leading TPC members. We accept the following three paper categories, which will not be considered official, formal publications. Each submission will undergo the same rigorous review process by our TPC. This approach allows authors to further refine or submit their work to other top-tier venues.</span></p><br><p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">Accepted workshop papers will be hosted on Arxiv and shared with a broader audience through our TACPS community, with the potential to be invited for follow-up discussions at Shonan and Dagstuhl seminars in 2026.</span></p><br><br><p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt"><span style="font-size:11.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-weight:700;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">Paper Categories:</span></p><p dir="ltr" style="line-height:1.2;margin-top:9pt;margin-bottom:0pt;padding:0pt 0pt 0pt 15.75pt"><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><span class="gmail-Apple-tab-span" style="text-wrap-mode: nowrap;"> </span></span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">1.</span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><span class="gmail-Apple-tab-span" style="text-wrap-mode: nowrap;">        </span></span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-weight:700;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">Vision Papers</span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"> (4 pages, plus 1 page for references)</span></p><p dir="ltr" style="line-height:1.2;margin-top:9pt;margin-bottom:0pt;padding:0pt 0pt 0pt 24.75pt"><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><span class="gmail-Apple-tab-span" style="text-wrap-mode: nowrap;">       </span></span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">Vision papers should present innovative and groundbreaking ideas supported by promising initial results or speculative visions about the future of autonomous CPS. Submissions should provide well-motivated arguments and strong scientific intuition, laying the groundwork for future research directions in neurosymbolic methods and foundation models for autonomous systems. We particularly encourage the discussion of how formal methods will contribute to these directions.</span></p><p dir="ltr" style="line-height:1.2;margin-top:9pt;margin-bottom:0pt;padding:0pt 0pt 0pt 15.75pt"><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><span class="gmail-Apple-tab-span" style="text-wrap-mode: nowrap;">     </span></span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">2.</span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><span class="gmail-Apple-tab-span" style="text-wrap-mode: nowrap;">        </span></span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-weight:700;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">Research Papers</span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"> (8 pages, plus 2 pages for references)</span></p><p dir="ltr" style="line-height:1.2;margin-top:9pt;margin-bottom:0pt;padding:0pt 0pt 0pt 24.75pt"><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><span class="gmail-Apple-tab-span" style="text-wrap-mode: nowrap;">    </span></span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">Research papers should describe original, unpublished theoretical, empirical, conceptual, or experimental research related to neurosymbolic approaches and foundation models applied to autonomous CPS. Papers should present novel contributions to the fields of verification, safety, and testing of autonomous systems using these advanced techniques. Survey papers on relevant topics are also welcome under this category.</span></p><p dir="ltr" style="line-height:1.2;margin-top:9pt;margin-bottom:0pt;padding:0pt 0pt 0pt 15.75pt"><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><span class="gmail-Apple-tab-span" style="text-wrap-mode: nowrap;">  </span></span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">3.</span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><span class="gmail-Apple-tab-span" style="text-wrap-mode: nowrap;">        </span></span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-weight:700;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">Experience Papers</span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"> (8 pages, plus 2 pages for references)</span></p><p dir="ltr" style="line-height:1.2;margin-top:9pt;margin-bottom:0pt;padding:0pt 0pt 0pt 24.75pt"><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><span class="gmail-Apple-tab-span" style="text-wrap-mode: nowrap;">  </span></span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">Experience papers should focus on the practical application and implementation aspects of neurosymbolic and foundation model-based approaches in autonomous CPS. These papers should detail real-world use cases, system integration challenges, and insights from deploying these techniques in practice.</span></p><br><p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt"><span style="font-size:11.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-weight:700;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">Topics of Interest (including but not limited to):</span></p><p dir="ltr" style="line-height:1.2;margin-top:9pt;margin-bottom:0pt;padding:0pt 0pt 0pt 9.75pt"><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><span class="gmail-Apple-tab-span" style="text-wrap-mode: nowrap;">   </span></span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">•</span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><span class="gmail-Apple-tab-span" style="text-wrap-mode: nowrap;">       </span></span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-weight:700;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">Neurosymbolic Reasoning, Learning, and Verification for Autonomous CPS</span></p><p dir="ltr" style="line-height:1.2;margin-top:9pt;margin-bottom:0pt;padding:0pt 0pt 0pt 24.75pt"><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><span class="gmail-Apple-tab-span" style="text-wrap-mode: nowrap;">      </span></span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">•</span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><span class="gmail-Apple-tab-span" style="text-wrap-mode: nowrap;">       </span></span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">Integration of symbolic reasoning with machine learning models for decision-making and learning in autonomous systems.</span></p><p dir="ltr" style="line-height:1.2;margin-top:9pt;margin-bottom:0pt;padding:0pt 0pt 0pt 24.75pt"><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><span class="gmail-Apple-tab-span" style="text-wrap-mode: nowrap;">      </span></span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">•</span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><span class="gmail-Apple-tab-span" style="text-wrap-mode: nowrap;">       </span></span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">Case studies of neurosymbolic reasoning in real-world autonomous CPS applications.</span></p><p dir="ltr" style="line-height:1.2;margin-left:24.75pt;margin-top:9pt;margin-bottom:0pt"><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><span class="gmail-Apple-tab-span" style="text-wrap-mode: nowrap;">  </span></span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">•</span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><span class="gmail-Apple-tab-span" style="text-wrap-mode: nowrap;">       </span></span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">Formal safety and correctness verification techniques for neurosymbolic models and their application in ensuring the safety of autonomous systems.</span></p><p dir="ltr" style="line-height:1.2;margin-top:9pt;margin-bottom:0pt;padding:0pt 0pt 0pt 9.75pt"><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><span class="gmail-Apple-tab-span" style="text-wrap-mode: nowrap;">   </span></span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">•</span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><span class="gmail-Apple-tab-span" style="text-wrap-mode: nowrap;">       </span></span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-weight:700;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">Program Synthesis for Autonomous CPS</span></p><p dir="ltr" style="line-height:1.2;margin-top:9pt;margin-bottom:0pt;padding:0pt 0pt 0pt 24.75pt"><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><span class="gmail-Apple-tab-span" style="text-wrap-mode: nowrap;">        </span></span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">•</span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><span class="gmail-Apple-tab-span" style="text-wrap-mode: nowrap;">       </span></span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">Techniques for automatically synthesizing programs (e.g., type-directed synthesis) for autonomous systems using formal typing systems.</span></p><p dir="ltr" style="line-height:1.2;margin-top:9pt;margin-bottom:0pt;padding:0pt 0pt 0pt 24.75pt"><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><span class="gmail-Apple-tab-span" style="text-wrap-mode: nowrap;">      </span></span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">•</span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><span class="gmail-Apple-tab-span" style="text-wrap-mode: nowrap;">       </span></span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">Program synthesis methods that combine symbolic and neural components to ensure correctness and safety in autonomous CPS.</span></p><p dir="ltr" style="line-height:1.2;margin-top:9pt;margin-bottom:0pt;padding:0pt 0pt 0pt 24.75pt"><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">        •</span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><span class="gmail-Apple-tab-span" style="text-wrap-mode: nowrap;">      </span></span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">Methods for transforming and synthesizing code to improve the performance, reliability, and safety of autonomous systems.</span></p><p dir="ltr" style="line-height:1.2;margin-top:9pt;margin-bottom:0pt;padding:0pt 0pt 0pt 24.75pt"><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><span class="gmail-Apple-tab-span" style="text-wrap-mode: nowrap;">   </span></span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">•</span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><span class="gmail-Apple-tab-span" style="text-wrap-mode: nowrap;">       </span></span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">Using synthesis to adapt code based on changing environments and scenarios.</span></p><p dir="ltr" style="line-height:1.2;margin-top:9pt;margin-bottom:0pt;padding:0pt 0pt 0pt 9.75pt"><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><span class="gmail-Apple-tab-span" style="text-wrap-mode: nowrap;">  </span></span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">•</span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><span class="gmail-Apple-tab-span" style="text-wrap-mode: nowrap;">       </span></span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-weight:700;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">Foundation Models-Based Test Generation for Autonomous CPS</span></p><p dir="ltr" style="line-height:1.2;margin-top:9pt;margin-bottom:0pt;padding:0pt 0pt 0pt 24.75pt"><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><span class="gmail-Apple-tab-span" style="text-wrap-mode: nowrap;">  </span></span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">•</span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><span class="gmail-Apple-tab-span" style="text-wrap-mode: nowrap;">       </span></span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">Leveraging large-scale foundation models to generate effective test cases for autonomous CPS.</span></p><p dir="ltr" style="line-height:1.2;margin-top:9pt;margin-bottom:0pt;padding:0pt 0pt 0pt 24.75pt"><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><span class="gmail-Apple-tab-span" style="text-wrap-mode: nowrap;">       </span></span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">•</span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><span class="gmail-Apple-tab-span" style="text-wrap-mode: nowrap;">       </span></span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">Applying foundation models for fault detection and robustness testing in real-world environments.</span></p><p dir="ltr" style="line-height:1.2;margin-top:9pt;margin-bottom:0pt;padding:0pt 0pt 0pt 9.75pt"><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><span class="gmail-Apple-tab-span" style="text-wrap-mode: nowrap;">    </span></span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">•</span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><span class="gmail-Apple-tab-span" style="text-wrap-mode: nowrap;">       </span></span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-weight:700;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">Neurosymbolic Reinforcement Learning for Autonomous CPS</span></p><p dir="ltr" style="line-height:1.2;margin-top:9pt;margin-bottom:0pt;padding:0pt 0pt 0pt 24.75pt"><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><span class="gmail-Apple-tab-span" style="text-wrap-mode: nowrap;">     </span></span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">•</span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><span class="gmail-Apple-tab-span" style="text-wrap-mode: nowrap;">       </span></span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">Integrating neurosymbolic methods with reinforcement learning to improve decision-making in autonomous systems.</span></p><p dir="ltr" style="line-height:1.2;margin-top:9pt;margin-bottom:0pt;padding:0pt 0pt 0pt 24.75pt"><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><span class="gmail-Apple-tab-span" style="text-wrap-mode: nowrap;">     </span></span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">•</span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><span class="gmail-Apple-tab-span" style="text-wrap-mode: nowrap;">       </span></span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">The role of neurosymbolic approaches in reinforcement learning-based autonomous systems, focusing on real-time safety and adaptability.</span></p><p dir="ltr" style="line-height:1.2;margin-top:9pt;margin-bottom:0pt;padding:0pt 0pt 0pt 9.75pt"><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><span class="gmail-Apple-tab-span" style="text-wrap-mode: nowrap;">      </span></span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">•</span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><span class="gmail-Apple-tab-span" style="text-wrap-mode: nowrap;">       </span></span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-weight:700;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">Surveys of Neurosymbolic and Foundation Models for Autonomous CPS </span></p><p dir="ltr" style="line-height:1.2;margin-top:9pt;margin-bottom:0pt;padding:0pt 0pt 0pt 24.75pt"><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><span class="gmail-Apple-tab-span" style="text-wrap-mode: nowrap;"> </span></span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">•</span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><span class="gmail-Apple-tab-span" style="text-wrap-mode: nowrap;">       </span></span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">Comprehensive surveys of current research on neurosymbolic methods and foundation models applied to autonomous CPS. Such surveys fall under the Research Papers category. </span></p><p dir="ltr" style="line-height:1.2;margin-top:9pt;margin-bottom:0pt;padding:0pt 0pt 0pt 24.75pt"><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><span class="gmail-Apple-tab-span" style="text-wrap-mode: nowrap;"> </span></span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">•</span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><span class="gmail-Apple-tab-span" style="text-wrap-mode: nowrap;">       </span></span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">Review and comparison of existing techniques and their potential to advance autonomous systems’ reliability, safety, and trustworthiness.</span></p><p dir="ltr" style="line-height:1.2;margin-top:9pt;margin-bottom:0pt;padding:0pt 0pt 0pt 9.75pt"><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><span class="gmail-Apple-tab-span" style="text-wrap-mode: nowrap;">  </span></span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">•</span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><span class="gmail-Apple-tab-span" style="text-wrap-mode: nowrap;">       </span></span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-weight:700;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">Formal Methods for Trustworthy Autonomous CPS</span></p><p dir="ltr" style="line-height:1.2;margin-top:9pt;margin-bottom:0pt;padding:0pt 0pt 0pt 24.75pt"><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><span class="gmail-Apple-tab-span" style="text-wrap-mode: nowrap;">       </span></span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">•</span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><span class="gmail-Apple-tab-span" style="text-wrap-mode: nowrap;">       </span></span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">Use of formal methods (satisfiability solving, model checking, reachability verification, theorem proving, and other techniques) for proving the correctness, safety, and other trustworthiness aspects of autonomous CPS.</span></p><p dir="ltr" style="line-height:1.2;margin-top:9pt;margin-bottom:0pt;padding:0pt 0pt 0pt 24.75pt"><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><span class="gmail-Apple-tab-span" style="text-wrap-mode: nowrap;">  </span></span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">•</span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><span class="gmail-Apple-tab-span" style="text-wrap-mode: nowrap;">       </span></span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">The application of formal verification to the development and deployment of neurosymbolic systems and foundation models in autonomous CPS.</span></p><br><p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt"><span style="font-size:11.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-weight:700;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">Submission Details:</span></p><p dir="ltr" style="line-height:1.2;margin-top:9pt;margin-bottom:0pt;padding:0pt 0pt 0pt 9.75pt"><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><span class="gmail-Apple-tab-span" style="text-wrap-mode: nowrap;">  </span></span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">•</span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><span class="gmail-Apple-tab-span" style="text-wrap-mode: nowrap;">       </span></span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-weight:700;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">Paper Format</span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">: Submissions must follow the ACM conference style and all authors should use the official “ACM Primary Article Template”, as can be obtained from </span><a href="https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.acm.org%2Fpublications%2Fproceedings-template&data=05%7C02%7Cfm-announcements%40lists.nasa.gov%7C94c0cff0455b4d2e443a08dd53a58bcf%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C638758693419308088%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C40000%7C%7C%7C&sdata=c50%2FagrpO7BMWRAC3YGrtXHSrV4Rtv0pxws9agHQNu4%3D&reserved=0" originalSrc="https://www.acm.org/publications/proceedings-template" style="text-decoration-line:none"><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;text-decoration-line:underline;vertical-align:baseline">the ACM Proceedings Template page</span></a><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);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:9pt;margin-bottom:0pt"><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><span class="gmail-Apple-tab-span" style="text-wrap-mode: nowrap;">      </span></span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">•  Microsoft Word users: please still use the “Interim Template” and not the New Workflow for ACM Publications. This should result in a two-column format. </span></p><p dir="ltr" style="line-height:1.2;margin-top:9pt;margin-bottom:0pt"><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><span class="gmail-Apple-tab-span" style="text-wrap-mode: nowrap;">     </span></span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">•  LaTeX users: please refer to the sample-sigconf.tex example file in the template available on </span><a href="https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.acm.org%2Fpublications%2Fproceedings-template&data=05%7C02%7Cfm-announcements%40lists.nasa.gov%7C94c0cff0455b4d2e443a08dd53a58bcf%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C638758693419322416%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C40000%7C%7C%7C&sdata=2HA26XwqWjLMxGqRx8bfmB3lPK8f6hOE1aQvUBiPV8A%3D&reserved=0" originalSrc="https://www.acm.org/publications/proceedings-template" style="text-decoration-line:none"><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;text-decoration-line:underline;vertical-align:baseline">the ACM Proceedings Template page</span></a><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);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:9pt;margin-bottom:0pt;padding:0pt 0pt 0pt 9.75pt"><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><span class="gmail-Apple-tab-span" style="text-wrap-mode: nowrap;">      </span></span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">•</span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><span class="gmail-Apple-tab-span" style="text-wrap-mode: nowrap;">       </span></span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-weight:700;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">Submission Link</span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">: Papers must be submitted through the Easychair system: </span><a href="https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dtacps25&data=05%7C02%7Cfm-announcements%40lists.nasa.gov%7C94c0cff0455b4d2e443a08dd53a58bcf%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C638758693419334466%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C40000%7C%7C%7C&sdata=fAD4NXcfcvMIZbxsdxac4KQQUqsxhs17FyEdNnxKbic%3D&reserved=0" originalSrc="https://easychair.org/conferences/?conf=tacps25" style="text-decoration-line:none"><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";background-color:transparent;font-weight:700;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=tacps25</span></a></p><p dir="ltr" style="line-height:1.2;margin-top:9pt;margin-bottom:0pt;padding:0pt 0pt 0pt 9.75pt"><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><span class="gmail-Apple-tab-span" style="text-wrap-mode: nowrap;">       </span></span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">•</span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><span class="gmail-Apple-tab-span" style="text-wrap-mode: nowrap;">       </span></span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-weight:700;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">Review Process</span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">: Submissions will undergo a single-blind review process, and all accepted papers will be published in an Arxiv proceedings volume.</span></p><p dir="ltr" style="line-height:1.2;margin-top:9pt;margin-bottom:0pt;padding:0pt 0pt 0pt 9.75pt"><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><span class="gmail-Apple-tab-span" style="text-wrap-mode: nowrap;">  </span></span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">•</span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><span class="gmail-Apple-tab-span" style="text-wrap-mode: nowrap;">       </span></span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-weight:700;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">Deadlines</span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);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-left:36pt;margin-top:9pt;margin-bottom:0pt;padding:0pt 0pt 0pt 9.75pt"><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><span class="gmail-Apple-tab-span" style="text-wrap-mode: nowrap;">      </span></span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">•  All paper submissions are due by </span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-weight:700;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">March 31, 2025</span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"> (anywhere on Earth)</span></p><p dir="ltr" style="line-height:1.2;margin-left:36pt;margin-top:9pt;margin-bottom:0pt;padding:0pt 0pt 0pt 9.75pt"><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><span class="gmail-Apple-tab-span" style="text-wrap-mode: nowrap;">       </span></span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">•  Notifications will be sent by </span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-weight:700;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">April 30, 2025</span></p><p dir="ltr" style="line-height:1.2;margin-left:36pt;margin-top:9pt;margin-bottom:0pt;padding:0pt 0pt 0pt 9.75pt"><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"><span class="gmail-Apple-tab-span" style="text-wrap-mode: nowrap;">        </span></span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">•  The camera-ready deadline is set for </span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-weight:700;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">May 30, 2025</span><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline"> (anywhere on Earth)</span></p><br><p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">We look forward to receiving your submissions and hope to see you at the workshop!</span></p><br><p dir="ltr" style="line-height:1.2;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-style:italic;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">For more information on the workshop, please visit </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%7C94c0cff0455b4d2e443a08dd53a58bcf%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C638758693419345692%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C40000%7C%7C%7C&sdata=3AlWgpNHj1kHNXPjc4qf%2BJpT31HnXcBlujNB15yPGlg%3D&reserved=0" originalSrc="https://www.tacps.org/" style="text-decoration-line:none"><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(70,120,134);background-color:transparent;font-style:italic;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><span style="font-size:10.5pt;font-family:".AppleSystemUIFont";color:rgb(14,14,14);background-color:transparent;font-style:italic;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">. </span></p></span><br class="gmail-Apple-interchange-newline"></div></div>