Former CARS Fellow Changliu Liu led a hands-on workshop in early June on NeuralVerification.jl. We are in the process of developing an online course with the workshop content and have the introduction for an early sneak peek available here. Additional content will be available soon including lectures and work-group videos. Link.