BEGIN:VCALENDAR
CALSCALE:GREGORIAN
METHOD:PUBLISH
PRODID:-//CU//CS//gen* 3.1//EN
VERSION:2.0
BEGIN:VEVENT
SUMMARY:BACTAC - Chao Wang
DESCRIPTION:Abstraction Refinement for Large Scale Model Checking
DTSTART:20040330T223000Z
DTEND:20040330T233000Z
LOCATION:ECOT 831
URL;VALUE=URI:http://www.cs.colorado.edu/events/bactac/2003-2004/wang
 .html
UID:2008013110414900031@www.cs.colorado.edu
SEQUENCE:0
DTSTAMP:20120505T192707Z
LAST-MODIFIED:20080228T135453Z
END:VEVENT
END:VCALENDAR