VNN-COMP'26 Call for Participation

[Ben Wooding]

Dear colleagues,

The 7th International Verification of Neural Networks Competition (VNN-COMP'26), to be held with the 9th International Symposium on AI Verification (SAIV'26) at the 38th International Conference on Computer Aided Verification (CAV'26) over July 24-25, 2026, in Lisbon, Portugal, aims to bring together researchers interested in formal methods and tools providing guarantees about the behaviors of neural networks and systems built from them. Participation will again be conducted remotely in advance of the conference and attendance at the conference will not be required, but results will be finalized and presented there.

The website has been updated with tentative dates for the 2026 edition, which will overall follow similar procedures as the prior couple of iterations. We will continue last year's efforts to encourage participation, in that participants in the competition will have the opportunity to submit and publish with the SAIV Springer LNCS proceedings a "Competition Contribution" paper describing their contributed tool or benchmark, inspired by such papers presented at SV-COMP. SAIV also has a paper track on benchmarks and case studies for more in depth benchmark contributions participants may consider.

https://vnn-comp.github.io/index.html#vnncomp2026

If you are interested to participate with a tool, propose a benchmark, or participate otherwise, please submit the registration/interest form here so we can keep you apprised of next steps.

https://forms.gle/os2SbXcBq5ZJsuUm9

Important Dates:

Intention to participate (you may join after this date, but sooner is better to be kept informed): March 24, 2026

Rules and kickoff meeting (Zoom): April 2, 2026, 9am US central time

Finalization of the rules: May 1, 2026

Submission of new benchmarks: May 8, 2026

Deadline for submission of competition contribution papers: May 15, 2026

Notification for competition contribution papers: May 25, 2026

Camera ready deadline for competition contribution papers: May 29, 2026

Voting for selecting benchmarks for the competition: May 29, 2026

Participants finalize tool scripts and organizers begin running tools: June 30, 2026

SAIV with presentation of VNN-COMP results and report: July 24-25, 2026

Call for Papers: https://vnn-comp.github.io/cfp26.html

Rules: https://github.com/VNN-COMP/vnncomp2026/blob/main/rules.md

Finally, if you are interested to be more involved in the organization of the competition this iteration or have any suggestions, please let us know by email.

Best regards,

Ben Wooding (on behalf of the organizers)

Publicity Chair, VNN-COMP'26

Ben Wooding

Vanderbilt University, Postdoctoral Scholar

Institute for Software Integrated Systems

ben.w...@vanderbilt.edu

woodingben.com