Call for Papers

SAIV invites submissions presenting theoretical results, novel algorithms, tool development, and empirical evaluation.

Important Dates

All dates are 11:59 AM AoE.

• Abstract Registration: March 19
• Paper Submission: March 26
• Notification: May 15
• Poster Submission: June 11
• Poster Notification: June 18

Submission Guidelines

→ HotCRP submission website

We invite three categories of submissions:

1. Original papers describe original research and sufficient detail to assess the merits and relevance of the submission. For papers reporting experimental results, authors are strongly encouraged to make their data available. We welcome both short and long papers. Submissions should not exceed 18 pages (LNCS format).
2. Benchmark and case-study papers propose a challenge to the SAIV community or showcase practical evaluations, real-world applications, or lessons learned in verifying and deploying safety-critical AI systems, focusing on metrics, methodologies, and safety outcomes.
3. Presentation-only papers: SAIV aims to integrate researchers from the AI and FM communities. Papers from these areas are dispersed across many conferences. A visit to SAIV should offer a wide picture of the latest research in the field. Thus, we welcome presentations of papers that will not appear in the proceedings.

In addition, VNN-COMP will invite competition contribution papers from participants for both tools and benchmarks that will also appear in the proceedings through a separate call; see the VNN-COMP website for more details.

SAIV 2026 uses a single-blind policy, so submissions need not be anonymized.

Except for presentation-only papers, submissions must use the LNCS template.

All papers conforming to the submission guidelines will be peer-reviewed by members of the program committee. Submissions will be evaluated on the basis of originality, importance of contribution, soundness, quality of presentation, and appropriate comparison to related work.

Papers selected for publications will appear in the SAIV 2026 conference proceedings in the LNCS series.

Topics

The topics covered by SAIV include, but are not limited to, the following:

Formal methods for artificial intelligence

• Safety specifications for systems with learning components
• Symbolic analysis of cyber-physical systems with AI components
• Formal verification of neural networks
• Neuro-symbolic reasoning for AI safety
• Testing approaches for systems with AI components
• Formal guarantees for interpretable AI

Artificial intelligence for formal methods

• Machine Learning for program synthesis and control synthesis
• Machine Learning for automated reasoning and theorem-proving
• Differentiable proof certificates
• Statistical approaches to falsification and verification
• Data-driven verification