BEGIN:VCALENDAR
CALSCALE:GREGORIAN
METHOD:PUBLISH
PRODID:-//CU//CS//gen* 3.1//EN
VERSION:2.0
BEGIN:VEVENT
SUMMARY:Colloquium - Chao Wang
DESCRIPTION:Symbolic Predictive Analysis for Concurrent Programs
DTSTART:20100826T213000Z
DTEND:20100826T223000Z
LOCATION:ECCR 150
URL;VALUE=URI:http://www.cs.colorado.edu/events/colloquia/2010-2011/w
 ang.html
UID:2010081314435922717@www.cs.colorado.edu
SEQUENCE:0
DTSTAMP:20120505T192725Z
LAST-MODIFIED:20100818T224525Z
END:VEVENT
END:VCALENDAR