VNN-COMP: Rule Finalization May 1st

4 views
Skip to first unread message

Ben Wooding

unread,
Apr 28, 2026, 4:14:04 PM (11 days ago) Apr 28
to vnn-list
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
Reply all
Reply to author
Forward
0 new messages