[fg-arc] [fm-announcements] Call for Papers: 3rd TACPS Workshop @ CAV 2025

[Ivan Ruchkin via fm-announcements]

Call for Papers: 3rd International Workshop on Trustworthy Autonomous
Cyber-Physical Systems (TACPS)

We cordially invite submissions for the upcoming 3rd International Workshop
on Trustworthy Autonomous Cyber-Physical Systems (TACPS), which explores
the intersection of artificial intelligence, safety, security, testing, and
verification in autonomous cyber-physical systems. This workshop will focus
on neurosymbolic methods and foundation models 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.

The workshop will be held on July 21, 2025. It will be co-located with the
37th International Conference on Computer-Aided Verification (CAV) in
Zagreb, Croatia.

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.

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.


Paper Categories:

1. Vision Papers (4 pages, plus 1 page for references)

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.

2. Research Papers (8 pages, plus 2 pages for references)

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.

3. Experience Papers (8 pages, plus 2 pages for references)

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.

Topics of Interest (including but not limited to):

• Neurosymbolic Reasoning, Learning, and Verification for Autonomous CPS

• Integration of symbolic reasoning with machine learning models for
decision-making and learning in autonomous systems.

• Case studies of neurosymbolic reasoning in real-world autonomous CPS
applications.

• Formal safety and correctness verification techniques for neurosymbolic
models and their application in ensuring the safety of autonomous systems.

• Program Synthesis for Autonomous CPS

• Techniques for automatically synthesizing programs (e.g., type-directed
synthesis) for autonomous systems using formal typing systems.

• Program synthesis methods that combine symbolic and neural components to
ensure correctness and safety in autonomous CPS.

        • Methods for transforming and synthesizing code to improve the
performance, reliability, and safety of autonomous systems.

• Using synthesis to adapt code based on changing environments and
scenarios.

• Foundation Models-Based Test Generation for Autonomous CPS

• Leveraging large-scale foundation models to generate effective test cases
for autonomous CPS.

• Applying foundation models for fault detection and robustness testing in
real-world environments.

• Neurosymbolic Reinforcement Learning for Autonomous CPS

• Integrating neurosymbolic methods with reinforcement learning to improve
decision-making in autonomous systems.

• The role of neurosymbolic approaches in reinforcement learning-based
autonomous systems, focusing on real-time safety and adaptability.

• Surveys of Neurosymbolic and Foundation Models for Autonomous CPS

• Comprehensive surveys of current research on neurosymbolic methods and
foundation models applied to autonomous CPS. Such surveys fall under the
Research Papers category.

• Review and comparison of existing techniques and their potential to
advance autonomous systems’ reliability, safety, and trustworthiness.

• Formal Methods for Trustworthy Autonomous CPS

• 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.

• The application of formal verification to the development and deployment
of neurosymbolic systems and foundation models in autonomous CPS.

Submission Details:

• Paper Format: Submissions must follow the ACM conference style and all
authors should use the official “ACM Primary Article Template”, as can be
obtained from the ACM Proceedings Template page
<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%7C638758693419236440%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C40000%7C%7C%7C&sdata=zdLXDmOf2QTHd11sMwum4%2Fqh8dN%2BmB3sPcfP6KO16ns%3D&reserved=0>.

•  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.

•  LaTeX users: please refer to the sample-sigconf.tex example file in the
template available on the ACM Proceedings Template page
<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%7C638758693419254353%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C40000%7C%7C%7C&sdata=8WXTejDsqLQopYwyA8Avxol0eHCYZOos5yAi%2F6iONgQ%3D&reserved=0>.

• Submission Link: Papers must be submitted through the Easychair system:
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%7C638758693419265587%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C40000%7C%7C%7C&sdata=J6xcjjGVFwtEKAFVdgk4ehOpqAyzmyzdblK3LBFlei8%3D&reserved=0

• Review Process: Submissions will undergo a single-blind review process,
and all accepted papers will be published in an Arxiv proceedings volume.

• Deadlines:

•  All paper submissions are due by March 31, 2025 (anywhere on Earth)

•  Notifications will be sent by April 30, 2025

•  The camera-ready deadline is set for May 30, 2025 (anywhere on Earth)

We look forward to receiving your submissions and hope to see you at the
workshop!

For more information on the workshop, please visit 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%7C638758693419276801%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C40000%7C%7C%7C&sdata=Yqdo3JzpIC1418zvto%2BUuuEBi5yQGltD41O9l2o3I1c%3D&reserved=0.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.uni-paderborn.de/pipermail/fg-arc/attachments/20250222/1b34ddf4/attachment.htm>
-------------- next part --------------
---
To opt-out from this mailing list, send an email to 

fm-announcements-request at lists.nasa.gov 

with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting 

fm-announcements-owner at lists.nasa.gov