SAIV 2024: 7th Symposium on AI Verification Montreal, Canada, July 22-23, 2024 |
Conference website | https://www.aiverification.org/ |
Submission link | https://easychair.org/conferences/?conf=saiv2024 |
Abstract registration deadline | April 4, 2024 |
Submission deadline | April 11, 2024 |
SAIV 2024: 7th International Symposium on AI Verification
July 22-23, Montreal, Canada, co-located with CAV 2024
https://www.aiverification.org/
IMPORTANT DATES (all dates are AoE)
April 4, 2024 - Abstract Submission
April 11, 2024 - Paper Submission
May 9, 2024 - Notification
ABOUT 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 https://sites.google.com/view/vnn2024.
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
PAPER SUBMISSION
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 available.
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.
PROGRAM CHAIRS
- 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)
PROGRAM COMMITTEE
- 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)