TASSDC Call for Papers

Call for Papers

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

Objectives

The objectives of this workshop are to:

• Promote applying rigorous theoretical approaches to designing and verifying autonomous systems.
• Foster interaction between formal methods researchers and practitioners working in autonomous systems and AI.
• Highlight emerging research directions and identify opportunities for cross-disciplinary collaboration.
• Provide a forum for presenting mature work and preliminary ideas in this rapidly evolving domain.

Topics of Interest

Topics of interest include but are not limited to:

• Formal specification and verification of autonomous systems.
• Correctness and safety guarantees for self-driving vehicles.
• Hybrid systems and control-theoretic models.
• Probabilistic models and stochastic verification.
• Runtime monitoring and verification for autonomous behaviour.
• Learning-enabled components and formal guarantees.
• Explainability and transparency in autonomous deci-sion making.
• Trust, ethics, and human-in-the-loop considerations.
• Domain-specific modelling languages and tools for autonomous systems.
• Case studies and industrial perspectives on verification of self-driving software.
• Testing and simulation frameworks integrated with formal methods.

Submission and Publication

We plan to solicit the following types of submissions:

• Full papers (up to 15 pages) describing novel research.
• Short papers (up to 6 pages), including position papers, work-in-progress, or preliminary results.
• Extended abstracts (up to 3 pages).

Submissions must not have been published or be under consideration for publication elsewhere. All submissions will be judged based on originality, contribution to the field, technical and presentation quality, and relevance to the workshop’s topics. Papers must be formatted according to the guidelines for Springer LNCS papers, without modification of margins and other space-saving measures. All contributions to TASSDC 2025 must be submitted electronically in PDF format via EasyChair. Some presentations will be invited to submit to the TCS special issue for ICTAC 2025.