BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Dependent Types for Low-Level Programming. - Misha Aizatulin
DTSTART:20081210T110000Z
DTEND:20081210T123000Z
UID:TALK15430@talks.cam.ac.uk
CONTACT:Matthew Parkinson
DESCRIPTION:Dependent Types for Low-Level Programming.\nhttp://deputy.cs.b
 erkeley.edu/deputy-tr-2006.pdf
LOCATION:FW11\, Computer Laboratory\, William Gates Building
END:VEVENT
END:VCALENDAR