SAIV 2026

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.

new FLoC Track

SAIV 2026 offers a separate FLoC track. A submission to this track must be based on a FLoC submission to one of the conferences CAV, IJCAR, KR, or SAT. Submissions should follow the general SAIV submission guidelines (see below).

Original, benchmark, or case-study papers

Submissions rejected from the specified FLoC conferences may be resubmitted. All changes from the rejected FLoC submission should be highlighted (e.g., colored text). In addition, the submission should include a PDF document with:

Presentation-only papers

We welcome presentations of papers that have been accepted at one of the FLoC conferences and are relevant to SAIV. Submissions should include a PDF with the reviews and scores from the FLoC conference.

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

We welcome both short and long papers. For categories 1 and 2, submissions should not exceed 18 pages (LNCS format, not counting references and appendices).

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 publication 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
Artificial intelligence for formal methods