[TYPES/announce] Call for Papers: 7th International Symposium on AI Verification (SAIV 2024)

[Guy Katz]

SAIV 2024: Call for Papers


The 7th International Symposium on AI Verification
<https://urldefense.com/v3/__https://www.aiverification.org/__;!!IBzWLUs!TQgMqdE2EJf8G0PBH3Ma1yMR2yLY1R4DJ4rjgbXJEhzab0QmpLrlJGUGWxXy6BPRVcEHfkHr9alTHwJ32noVtA922Jy08hu3zT7L$ > (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 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://urldefense.com/v3/__https://sites.google.com/view/vnn2024__;!!IBzWLUs!TQgMqdE2EJf8G0PBH3Ma1yMR2yLY1R4DJ4rjgbXJEhzab0QmpLrlJGUGWxXy6BPRVcEHfkHr9alTHwJ32noVtA922Jy08oC2FA51$ .


Find out more about previous editions on our webpage:
https://urldefense.com/v3/__https://www.aiverification.org/__;!!IBzWLUs!TQgMqdE2EJf8G0PBH3Ma1yMR2yLY1R4DJ4rjgbXJEhzab0QmpLrlJGUGWxXy6BPRVcEHfkHr9alTHwJ32noVtA922Jy08hu3zT7L$ 


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)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20240318/61c9748b/attachment-0001.htm>