BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Cisco: Have your Robots Call My Robots  - Simon Chatterjee
DTSTART:20201103T130500Z
DTEND:20201103T135500Z
UID:TALK153091@talks.cam.ac.uk
CONTACT:Ben Karniely
DESCRIPTION:Creating a better\, cheaper Internet for all depends on networ
 k operations moving away from humans to software automatons.\n \nThis rais
 es technical challenges\, where techniques originating in automated theore
 m proving are highly practical.\n \nThis is an accessible talk\, that won
 ’t assume deep knowledge of either networking or formal methods.\n
LOCATION:Virtual
END:VEVENT
END:VCALENDAR