Please note that this newsitem has been archived, and may contain outdated information or links.
9 June 2017, CWI Lecture, Marta Kwiatkowska
Speaker: Marta Kwiatkowska
Title: Safety Verification of Deep Neural Networks
Date: Friday 9 June 2017
Time: 11:00-12:00
Location: Room L120, CWI, Science Park 123, Amsterdam
For more information, see
https://www.cwi.nl/research/groups/formal-methods/events/cwi-lecture-professor-marta-kwiatkowska-university-of-oxford
or contact Susanne van Dam at susanne at cwi.nl.
Please note that this newsitem has been archived, and may contain outdated information or links.