Call for Papers: 3rd International Workshop on Trustworthy Autonomous Cyber-Physical Systems (TACPS)
Call for Papers: 3rd International Workshop on Trustworthy Autonomous Cyber-Physical Systems (TACPS) focusing on neurosymbolic methods and foundation models in autonomy.
The 3rd International Workshop on Trustworthy Autonomous Cyber-Physical Systems (TACPS) invites submissions for its upcoming event, focusing on neurosymbolic methods and foundation models in autonomy. The workshop will be held on July 21, 2025, in Zagreb, Croatia, and is co-located with the 37th International Conference on Computer-Aided Verification (CAV).
The workshop aims to facilitate discussions and idea exchanges between authors and world-leading TPC members. Three paper categories are accepted: Vision Papers, Research Papers, and Experience Papers. Accepted papers will be hosted on arXiv and shared with the broader TACPS community.
Topics of interest include neurosymbolic reasoning, learning, and verification for autonomous CPS, integration of symbolic reasoning with machine learning models, and formal safety and correctness verification techniques.
Submissions must follow the ACM conference style and be submitted through the Easychair system by March 31, 2025. Notifications will be sent by April 30, 2025, and the camera-ready deadline is set for May 30, 2025.
For more information, please visit https://www.tacps.org.
Tags: TACPS, autonomous cyber-physical systems, neurosymbolic methods, foundation models, artificial intelligence, robotics, computer science