VNNCS Workshop at ACC '25

[Chelsea Rose Sidrane]

Hello VNN-list,

I am reaching out to share the Call for Papers (easychair link here) for our upcoming Workshop on Formal Verification of Control Systems with Neural Network Components (VNNCS), to be held on July 7th as part of this year's American Control Conference (ACC) in Denver, CO. Given the relevance of your work to the topics covered by our workshop, we would be very interested in any recent or ongoing works you might consider contributing. More information on our workshop is below:

Workshop Overview:
Our workshop aims to bring together researchers from both academia and industry to identify research gaps between current capabilities and challenges ahead for practical application of neural system verification methods. We welcome submissions on topics including, but not limited to:

• Verification of neural systems
• Control barrier functions
• Reachability analysis
• Contraction theory
• Temporal logics
• 
  

Important Dates:

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

Accepted papers will have the opportunity to showcase their work as with a talk and/or poster presentation. VNNCS is non-archival, so may accept papers which are in review for other published venues, but not those which have already been published.
For more information, please visit our workshop website: https://sites.google.com/view/wfvnnc/home

Kind regards,

Chelsea Sidrane (KTH) and the VNNCS organizing team:

Samuel Akinwande (Stanford)
Michael Everett (Northeastern)
Sydney Katz (Stanford)
Nicholas Rober (MIT)
Esen Yel (RPI)