Friday, April 12, 2024

[DMANET] SAIV 2024 - Final Call for Papers

SAIV 2024: 7th International Symposium on AI Verification
July 22-23, Montreal, Canada, co-located with CAV 2024

=== EXTENDED DEADLINES (all dates are AoE) ===

April 18, 2024 - Paper Submission
May 13, 2024 - Notification

=== SAIV ===

The 7th International Symposium on AI Verification (SAIV 2024) solicits
novel theoretical and algorithmic contributions, innovative
applications, and empirical evaluation in the intersection of AI and
formal methods. SAIV is a continuation of FoMLAS and WOLVERINE and aims
to serve as an interactive platform for idea exchange and
cross-pollination between AI and formal methods.

SAIV 2024 will host the 5th International Verification of Neural
Networks Competition (VNN-COMP 2024). For additional information, see

The scope of SAIV is the intersection of AI and formal verification, and
spans across multiple areas in the "formal methods for AI" and "AI for
formal methods". This includes, but is not limited to:

- Safety specifications for systems with learning components
- Symbolic analysis of cyber-physical systems with AI components
- Formal verification of neural networks
- Testing approaches for systems with AI components
- Formal approaches to explainable AI
- AI and machine learning for program synthesis and control synthesis
- AI and machine learning for automated reasoning and theorem-proving
- Statistical approaches to falsification and verification

=== KEYNOTE ===

Clark Barrett (Stanford University)


Three categories of submissions are invited:

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

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.

Papers will be published in Springer's LNCS.


Guy Avni (University of Haifa)
Mirco Giacobbe (University of Birmingham)
Taylor T. Johnson (Vanderbilt University)
Guy Katz (Hebrew University of Jerusalem)
Anna Lukina (Delft University of Technology)
Nina Narodytska (VMware Research)
Christian Schilling (Aalborg University)


Alessandro Abate (University of Oxford)
Guy Amir (Hebrew University of Jerusalem)
Guy Avni (University of Haifa)
Stanley Bak (Stony Brook University)
Clark Barrett (Stanford University)
Roderick Bloem (Graz University of Technology)
Chih-Hong Cheng (Fraunhofer IKS and Technical University of Munich)
Dana Drachsler Cohen (Technion)
Mirco Giacobbe (University of Birmingham)
Thomas Henzinger (Institute of Science and Technology Austria)
Omri Isac (Hebrew University of Jerusalem)
Suman Jana (Columbia University)
Taylor T. Johnson (Vanderbilt University)
Guy Katz (Hebrew University of Jerusalem)
Ekaterina Komendantskaya (Heriot-Watt University)
Martin Lange (University of Kassel)
Linyi Li (University of Illinois at Urbana-Champaign)
Alessio Lomuscio (Imperial College London)
Anna Lukina (Delft University of Technology)
Ravi Mangal (Carnegie Mellon University)
Nina Narodytska (VMware Research)
Daniel Neider (Technical University of Dortmund)
Corina Pasareanu (Carnegie Mellon University, NASA, KBR)
Guillermo Perez (University of Antwerp)
Luca Pulina (University of Sassari)
Christian Schilling (Aalborg University)
Gagandeep Singh (UIUC and VMware Research)
Paulius Stankaitis (Newcastle University)
Armando Tacchella (Università di Genova)
Hoang Dung Tran (University of Nebraska-Lincoln)
Abhinav Verma (Pennsylvania State University)
Haoze Wu (Stanford University)
Kaidi Xu (Drexel University)
Zhen Zhang (Utah State University)
Yuhao Zhang (University of Wisconsin-Madison)
Min Zhang (East China Normal University)
Shufang Zhu (University of Oxford)
* Contributions to be spread via DMANET are submitted to
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.