BEGIN:VCALENDAR
PRODID;X-RICAL-TZSOURCE=TZINFO:-//Calagator//EN
CALSCALE:GREGORIAN
X-WR-CALNAME:Calagator
METHOD:PUBLISH
VERSION:2.0
BEGIN:VTIMEZONE
TZID;X-RICAL-TZSOURCE=TZINFO:America/Los_Angeles
BEGIN:DAYLIGHT
DTSTART:20110313T020000
RDATE:20110313T020000
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
TZNAME:PDT
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
CREATED;VALUE=DATE-TIME:20111021T225911Z
DTEND;TZID=America/Los_Angeles;VALUE=DATE-TIME:20111024T111500
DTSTART;TZID=America/Los_Angeles;VALUE=DATE-TIME:20111024T101500
DTSTAMP;VALUE=DATE-TIME:20111021T225911Z
LAST-MODIFIED;VALUE=DATE-TIME:20111021T231600Z
UID:http://calagator.org/events/1250461509
DESCRIPTION:We will describe a new approach to the old problem of automat
 ic temporal property verification. As well as leading to dramatic perfor
 mance improvements over existing techniques\, this approach also brings 
 some light to a couple of age-old questions.\n\nImported from: http://ca
 lagator.org/events/1250461509
URL:http://www.cs.pdx.edu
SUMMARY:A New Approach to Temporal Property Verification\, Byron Cook\, P
 rincipal Researcher\, Microsoft Research Cambridge and Professor of Comp
 uter Science at Queen Mary\, University of London
LOCATION:Portland State University FAB\, Room 86-09: 1900 SW Fourth Avenu
 e\, Portland Oregon 97201 US
SEQUENCE:4
END:VEVENT
END:VCALENDAR