March 7th, 2022 
Daniela Lopez de Luise 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.
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
VNN-COMP22-Invitation.pdf
Posted in