BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Proving program termination (Part 2) - Byron Cook\, Microsoft Rese
 arch\, Cambridge
DTSTART:20071019T090000Z
DTEND:20071019T110000Z
UID:TALK7986@talks.cam.ac.uk
CONTACT:Sam Staton
DESCRIPTION:This course will survey both old and recently discovered techn
 iques for proving that programs terminate.\n\nThis is course is made of th
 ree parts.\n\nByron's started putting some of the slides at \nhttp://www.f
 oment.net/byron/ .
LOCATION:Computer Laboratory\, William Gates Building\, Room FW11
END:VEVENT
END:VCALENDAR