Hi all, As many of you know, for the last 5 years I have been co-organizing the FoMLAS workshop (affiliated with the CAV conference), which is a venue for presenting work that (broadly) involves formal methods and deep learning. The workshop has been steadily growing, and this year it has merged with another workshop (Wolverine), and has become the "Symposium on AI Verification" (SAIV). This has upgraded the venue from workshop to conference - although it of course remains a low tier conference - and has made it a more eligible venue to publish new results at. So, if you have anything that you think may be suitable for publishing at SAIV, let me know. The SAIV call for papers is below.

Kind regards, Guy

-----------------

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.

Find out more about previous editions on our webpage: https://www.aiverification.org/

SAIV 2024 will take place in Montreal, Canada, on July 22–23, co-located with CAV 2024.

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. Important Dates (all dates are AoE)

April 4, 2024 – Abstract Submission

April 11, 2024 – Paper Submission

May 9, 2024 – Notification

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.

All accepted papers will be posted online as part of informal proceedings on the day of the conference. If there is sufficient interest, the symposium will have formal post-proceedings, where original papers and extended abstracts may be published. 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

-

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)