Information

About

This workshop provides an opportunity to understand and discuss safety verification of neural feedback loops (NFLs). The primary goal of this workshop is to bring together a mix of experts with industrial and academic backgrounds to identify gaps in the current state of the art that must be addressed to enable the safe implementation of NFLs in the real world. With the increasing presence of NNs in control applications and the recent flurry of activity in the NFL verification communities, this workshop provides a venue to bring together experts with a wide variety of perspectives on different formal approaches for these problems.

The technical content to be discussed in this workshop includes, but is not limited to:

• System verification

• Control barrier functions

• Reachability analysis

• Contraction theory

• Temporal logics

• Set propagation

• NN repair

• Out-of-distribution detection

• Conformal prediction

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

ORGANIZERS