BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:'Parametric Shape Analysis via 3-Valued Logic'\, Sagiv\, Reps &amp
 \; Wilhelm - Mike Dodds\, Computer Lab
DTSTART:20090211T110000Z
DTEND:20090211T123000Z
UID:TALK16919@talks.cam.ac.uk
CONTACT:Matthew Parkinson
DESCRIPTION:http://portal.acm.org/citation.cfm?id=292540.292552&type=serie
 s\n
LOCATION:FW11\, Computer Laboratory\, William Gates Building
END:VEVENT
END:VCALENDAR