TASSDC 2025

Trustworthy Autonomous Systems and Self-Driving Cars – November 24-25, 2025, co-located with ICTAC 2025 in Morocco

---

Autonomous systems, particularly self-driving cars, are rapidly becoming integral to modern technology. However, ensuring their correctness, safety, reliability, and trustworthiness remains an open challenge. This TASSDC workshop will bring together researchers and practitioners from theoretical computer science, formal methods, artificial intelligence, robotics, and systems engineering to discuss the recent advances, challenges, and future directions for trustworthy autonomous systems. We invite contributions that explore formal models, specification languages, verification techniques, hybrid systems, probabilistic methods, runtime assurance, safety standards, case studies, and system-level analyses in the context of autonomous driving and intelligent vehicles.

Format and Duration

We propose a two-days workshop co-located with ICTAC 2025. The program will consist of:

• Invited keynote talks (1–2).
• Peer-reviewed paper presentations.
• A panel discussion or interactive session on future challenges.
• Opportunities for open discussion and collaboration.