VNNCS Workshop: Formal Verification of Control Systems with Neural Network Components

Join the VNNCS Workshop on Formal Verification of Control Systems with Neural Network Components, part of ACC in Denver, CO, on July 7th.

Join us at the Workshop on Formal Verification of Control Systems with Neural Network Components (VNNCS), part of this year’s ACC in Denver, CO, on July 7th.

This workshop brings together researchers from academia and industry to identify research gaps and challenges in applying neural system verification methods.

Confirmed speakers include Dr. Jonathan DeCastro (Toyota Research Institute), Prof. Huan Zhang (UIUC), Prof. Saber Jafarpour (UC Boulder), and Prof. Lars Lindemann (USC).

Submissions are invited on topics including verification of neural systems, control barrier functions, reachability analysis, contraction theory, and temporal logics.

Important dates:

• Submission Deadline: April 7th
• Notification of Acceptance: May 15th
• Workshop Date: July 7th

Submit your papers through EasyChair: https://easychair.org/cfp/vnncs00

Visit our workshop website for submission guidelines and further details: https://sites.google.com/view/wfvnnc/home

Tags: Formal Verification, Control Systems, Neural Network Components, VNNCS Workshop, ACC Conference, Neural System Verification