ABOUT

Neural networks are becoming more prevalent in an increasing number of safety-critical autonomy applications. It is important to ensure that these data-driven autonomous systems are safe given challenges associated with deployment in the real world. To address this issue, many formal approaches have been developed using tools such as barrier functions, reachability analysis, contraction theory, and temporal logics. This workshop seeks to bring together academic experts in the field of neural system verification and industry stakeholders with the goal of identifying research gaps between what is currently possible and what is needed for practical application of neural system verification methods. This workshop will feature short submitted papers that highlight the latest innovations and provide opportunities for feedback on early research ideas, along with invited talks from leaders in the field and a panel discussion.

Important Dates

• May 2, 2025: Soft paper deadline; papers submitted after are evaluated on a rolling basis

• May 26, 2025: Accept/Reject notifications

• July 7, 2025: Date of the workshop