BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Why you can't even trust HOL\, and what to do about it - Mark Adam
 s
DTSTART:20090811T120000Z
DTEND:20090811T130000Z
UID:TALK19308@talks.cam.ac.uk
CONTACT:Thomas Tuerk
DESCRIPTION:In this talk\, I will expose various problems in using existin
 g HOL theorem provers\, and advocate the use of a new proof-checker for HO
 L that is carefully designed to avoid these problems.\n
LOCATION:Computer Laboratory\, William Gates Building\, Room SS03
END:VEVENT
END:VCALENDAR