BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Tony on "An Axiomatic Basis for Computer Programming" - Tony Hoare
 \, Microsoft Research
DTSTART:20090218T110000Z
DTEND:20090218T123000Z
UID:TALK16920@talks.cam.ac.uk
CONTACT:Matthew Parkinson
DESCRIPTION:http://www.is.pku.edu.cn/~qzy/plan/lits/HoareCACM1969.pdf\nhtt
 p://portal.acm.org/citation.cfm?id=357980.358001\n\n
LOCATION:FW11\, Computer Laboratory\, William Gates Building
END:VEVENT
END:VCALENDAR