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:STANDARD
DTSTART:20091101T020000
RDATE:20091101T020000
TZOFFSETFROM:-0700
TZOFFSETTO:-0800
TZNAME:PST
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
CREATED;VALUE=DATE-TIME:20091104T203648Z
DTEND;TZID=America/Los_Angeles;VALUE=DATE-TIME:20091113T113000
DTSTART;TZID=America/Los_Angeles;VALUE=DATE-TIME:20091113T103000
DTSTAMP;VALUE=DATE-TIME:20091104T203648Z
LAST-MODIFIED;VALUE=DATE-TIME:20091104T203648Z
UID:http://calagator.org/events/1250457967
DESCRIPTION:[NB. This talk is on Friday\, instead of the usual Tuesday sl
 ot.]&#13\;\n&#13\;\nThe next talk in the Galois Tech Seminar series:&#13
 \;\n&#13\;\n * Date: Friday\, November 13th\, 2009&#13\;\n * Title: Hoar
 e-Logic – fiddly details and small print&#13\;\n * Speaker: Rod Chapman&
 #13\;\n * Time: 10:30am - 11:30am&#13\;\n * Location: Galois\, Inc. 421 
 SW 6th Ave. Suite 300\; Portland\, OR&#13\;\n97204&#13\;\n&#13\;\nFor de
 tails (including an abstract and speaker bio)\, please see our&#13\;\nbl
 og post: http://www.galois.com/blog/2009/11/04/chapman-hoare/&#13\;\n&#1
 3\;\nAn RSVP is not required\; but feel free to drop a line to&#13\;\nle
 vent.erkok@galois.com if you've any questions or comments.&#13\;\n&#13\;
 \nLevent Erkok\n\nTags: galois\, tech talk\, hoare logic\, praxis\, veri
 fication\n\nImported from: http://calagator.org/events/1250457967
URL:http://www.galois.com/blog/2009/11/04/chapman-hoare/
SUMMARY:Galois Talk: Hoare-Logic – fiddly details and small print
LOCATION:Galois\, Inc: 421 SW 6th Ave. Suite 300\, Portland OR 97204 US
SEQUENCE:1
END:VEVENT
END:VCALENDAR