Our paper on “Automated Verification of Neural Networks: Advances, Challenges and Perspectives” by Francesco Leofante, Nina Narodytska, Luca Pulina and Armando Tacchella will be presented at the 2019 AAAI Spring Symposium on Verification of Neural Networks (VNN19), to be held at Stanford University, March 25-27, 2019.