BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Some unfinished projects - Freek Wiedijk
DTSTART:20130814T120000Z
DTEND:20130814T130000Z
UID:TALK46739@talks.cam.ac.uk
CONTACT:33478
DESCRIPTION:I'll present a few projects that I'm considering/working\n  on
 /involved with:\n  - The miz3 proof language for HOL Light\n  - A partial 
 version of the HOL Light logic\n  - A Poincaré principle for HOL Light\n 
  - The CH2O project
LOCATION:Computer Laboratory\, William Gates Building\, Room SS03
END:VEVENT
END:VCALENDAR