This was a workshop attampting to turbocharge formal verification for AI safety by bringing together leading experts from formal verification and machine learning.