VNN-COMP: Rule Finalization May 1st

[Ben Wooding]

Dear VNN-COMP Participants,

Just a reminder that the deadline for finalizing the VNN-COMP rules is May 1st. There are a couple discussions in the repository (https://github.com/VNN-COMP/vnncomp2026/blob/main/rules.md) - so do check them out before the deadline passes.

A reminder of the upcoming dates:

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

Best regards,

Ben (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