Authors Home

Call for Papers

VNNCS will be accepting submitted papers on the latest ideas in verification for systems with neural network components, including but not limited to the following topics:

• System verification

• Control barrier functions

• Reachability analysis

• Contraction theory

• Temporal logics

• Set propagation

• NN repair

• Out-of-distribution detection

• Conformal prediction

Papers should be a total of 6 pages or less, not including references, in double column format. VNNCS is non-archival and may accept papers which are in review for other published venues, but not those which have already been published. Accepted papers will have the opportunity to showcase their work with a 10 minute presentation and/or during a poster session.

Submit a Paper

Papers should be submitted to EasyChair following the link below and will be evaluated on a rolling basis after May 2nd.

Submit your paper here.