Thursday, October 22nd, 2020
11:00am
–
12:00pm
Add to Cal
Mechanical and Civil Engineering Seminar
Online Event
Certified learning, or learning for verification?
Alessandro Abate,
Professor of Verification and Control,
Department of Computer Science,
University of Oxford,