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:20091028T215944Z
DTEND;TZID=America/Los_Angeles;VALUE=DATE-TIME:20091103T113000
DTSTART;TZID=America/Los_Angeles;VALUE=DATE-TIME:20091103T103000
DTSTAMP;VALUE=DATE-TIME:20091028T215944Z
LAST-MODIFIED;VALUE=DATE-TIME:20091028T215944Z
UID:http://calagator.org/events/1250457935
DESCRIPTION:The next talk in the Galois Tech Seminar series:&#13\;\n&#13\
 ;\n  * Date: Tuesday\, November 3rd\, 2009&#13\;\n  * Title: Testing Fir
 st-Order-Logic Axioms in AutoCert&#13\;\n  * Speaker: Ki Yung Ahn&#13\;\
 n  * Time: 10:30am - 11:30am&#13\;\n  * Location: Galois\, Inc. 421 SW 6
 th Ave. Suite 300\; Portland\, OR&#13\;\n97204&#13\;\n&#13\;\nFor detail
 s (including an abstract and speaker bio)\, please see our&#13\;\nblog p
 ost: http://www.galois.com/blog/2009/10/28/ahn-autocert/&#13\;\n&#13\;\n
 An RSVP is not required\; but feel free to drop a line to&#13\;\nlevent.
 erkok@galois.com if you've any questions or comments.&#13\;\n&#13\;\nLev
 ent Erkok \n\nTags: galois\, haskell\, smt\, yices\, testing\, first-ord
 er-logic\, tech talk\n\nImported from: http://calagator.org/events/12504
 57935
URL:http://www.galois.com/blog/2009/10/28/ahn-autocert/
SUMMARY: Galois Talk: Testing First-Order-Logic Axioms in AutoCert 
LOCATION:Galois\, Inc: 421 SW 6th Ave. Suite 300\, Portland OR 97204 US
SEQUENCE:1
END:VEVENT
END:VCALENDAR