BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Logics of polynomial-time computation - Bjarki Holm (University of
  Cambridge)
DTSTART:20100521T140000Z
DTEND:20100521T150000Z
UID:TALK24428@talks.cam.ac.uk
CONTACT:Nishanth Sastry
DESCRIPTION:Abstract not available
LOCATION:LT1\, Computer Laboratory\, William Gates Builiding
END:VEVENT
END:VCALENDAR