BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Informal Methods: A personal search for practical alternatives to 
 ‘moral improvement through suffering’ in systems research (Lightning-t
 alk version) - Robert Watson (University of Cambridge)
DTSTART:20141028T131500Z
DTEND:20141028T134500Z
UID:TALK55527@talks.cam.ac.uk
CONTACT:Heidi Howard
DESCRIPTION:Systems researchers should care about tools. Formal methods re
 searchers should care about real systems. This talk describes some persona
 l experience intersecting those (apparently incompatible) world views\, an
 d is intended to be humorous and (perhaps) also thought provoking.
LOCATION:Computer Laboratory\, William Gates Building\, Room FW11
END:VEVENT
END:VCALENDAR