BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Dependent types - David Turner (University of Cambridge)
DTSTART:20071207T113000Z
DTEND:20071207T123000Z
UID:TALK9339@talks.cam.ac.uk
CONTACT:Alexander Gurney
DESCRIPTION:Abstract not available
LOCATION:GS15\, Computer Laboratory
END:VEVENT
END:VCALENDAR