VNN-COMP 2022 Call for Participation

[Changliu Liu]

Dear all,

The 3rd Verification of Neural Networks Competition (VNN-COMP) is being held along with the 5th Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS) at the International Conference on Computer-Aided Verification (CAV) July/August 2022.

VNN-COMP’22 Website: https://sites.google.com/view/vnn2022

Registration: We ask that you indicate your interest by March 18, 2022 if you are potentially interested to participate with a tool. The registration form is here: https://forms.gle/RbGbKvfvn7bvTR1M9 

More details can be found in the attachment below.

Best regards,

Stanley Bak, Changliu Liu, Taylor T. Johnson