Grand Challenges: Computer Programs that Always work

Speaker: TBA
UCL Contact: Sarah Turnbull (Visitors from outside UCL please email in advance).
Date/Time: 24 Nov 17, 12:00 - 14:00
Venue: TBA

Abstract

TBA