VNN-COMP'24 Report - Participant Text by November 1, 2024 and VNN-COMP'25 Planning

[Taylor Johnson]

Hi everyone,

Thank you again for participating in VNN-COMP'24. We are working on posting a version of the VNN-COMP 2024 report to Arxiv.

To help us with that, please contribute text for your tool/benchmark by Friday, Nov. 1, 2024 and check everything else as we finalize it. We will aim to post to arxiv in mid November so that it will appear with a 2024 timestamp. We can of course update it after this if any changes are needed.

The edit link to the draft report is here:
https://www.overleaf.com/2244947165xmbkwszfybzz#6ff441

We will update the results/participants/etc as per the slides/results repository here, and are currently auditing some results based on feedback from participants, so please let us know if you identify problems.

https://docs.google.com/presentation/d/1RvZWeAdTfRC3bNtCqt84O6IIPoJBnF4jnsEvhTTxsPE

https://github.com/ChristopherBrix/vnncomp2024_results

Finally, we are starting planning for VNN-COMP'25. If you are interested to help with organization or have any other feedback for the next iteration, please let us know. We are particularly interested in additional people joining the organizing team, and we are working on several changes to encourage participation (e.g., potentially including competition contribution/tool papers from the participants in the SAIV proceedings [similar to what is done in SV-COMP], potential for benchmark papers in the SAIV proceedings, etc.). An initial cut of the VNN-COMP'25 website is here:

https://sites.google.com/view/vnn2025

Thank you and best regards,

Taylor (on behalf of the organizers)