Abstract Interpretation Workshop - Introduction to Neural Network Verification June 21, 2024Workshop Talk at University of Luxembourg, Belval, Luxembourg