Call for Papers

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

Important Dates

All dates are understood as Anywhere on Earth (click a date for conversion to local time).

• Paper submission: April 18 (extended)
• Notification: May 13 (extended)

Topics

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

Formal methods for artificial intelligence

• Formal specifications for systems with AI components
• Formal methods for analyzing systems with AI components
• Formal synthesis methods of AI components
• Testing approaches for systems with AI components
• Statistical approaches for analyzing systems with AI components
• Approaches for enhancing the explainability of systems with AI components

Artificial intelligence for formal methods

• AI methods for formal verification
• AI methods for formal synthesis
• AI methods for safe control
• AI methods for falsification

Submission Guidelines

→ EasyChair 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. There are no strict page limits, although we recommend not going below 4 pages and not exceeding 18 pages.
2. Presentation-only papers: describe work recently published or submitted. We see this as a way to provide additional access to important developments that the SAIV attendees may be unaware of.
3. Extended abstracts: describe preliminary work in progress. These reports may range in length from very short to full papers, and will be judged based on the expected level of interest for the community. ​

SAIV 2024 uses a single-blind policy, so submissions need not be anonymized. We ask authors to submit an abstract prior to the full paper. Abstracts and full papers are submitted via the EasyChair submission website. When preparing the submission, we recommend to use the LNCS template because it will be used for publication, but other templates are welcome for the submission as well. 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 Springer’s LNCS proceedings.