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:20100129T230127Z
DTEND;TZID=America/Los_Angeles;VALUE=DATE-TIME:20100202T113000
DTSTART;TZID=America/Los_Angeles;VALUE=DATE-TIME:20100202T103000
DTSTAMP;VALUE=DATE-TIME:20100129T230127Z
LAST-MODIFIED;VALUE=DATE-TIME:20100129T230127Z
UID:http://calagator.org/events/1250458254
DESCRIPTION:Hello\,&#13\;\n&#13\;\nThe next Galois Tech Talk will be &quo
 t\;An Introduction to the Maude Formal&#13\;\nTool Environment&quot\;\, 
 presented by Joe Hendrix on Tuesday\, February 2nd\,&#13\;\nat 10:30am.&
 #13\;\n&#13\;\nFor more details\, please visit:&#13\;\nhttp://www.galois
 .com/blog/2010/01/29/tech-talk-an-introduction-to-the-maude-formal-tool-
 environment/&#13\;\n&#13\;\nHope to see you there!&#13\;\n-Iavor&#13\;\n
 \n\nTags: formal methods\, functional programming\, galois\n\nImported f
 rom: http://calagator.org/events/1250458254
URL:http://www.galois.com/blog/2010/01/29/tech-talk-an-introduction-to-th
 e-maude-formal-tool-environment/
SUMMARY:Galois Tech Talk: "An Introduction to the Maude Formal Tool Envir
 onment"
LOCATION:Galois\, Inc: 421 SW 6th Ave. Suite 300\, Portland OR 97204 US
SEQUENCE:1
END:VEVENT
END:VCALENDAR