Date: Tuesday, October 18, 2022, 11:15am to 12:30pm Amy Jin will lead the lecture on neural network verification. Export subscribe iCal