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:20091231T014423Z
DTEND;TZID=America/Los_Angeles;VALUE=DATE-TIME:20100105T113000
DTSTART;TZID=America/Los_Angeles;VALUE=DATE-TIME:20100105T103000
DTSTAMP;VALUE=DATE-TIME:20091231T014423Z
LAST-MODIFIED;VALUE=DATE-TIME:20091231T015006Z
UID:http://calagator.org/events/1250458113
DESCRIPTION:The next Galois Tech Talk will be delivered by Amit Goel.  Co
 me kick off 2010 with us!&#13\;\n&#13\;\nTitle: Ground Interpolation for
  Combined Theories&#13\;\n&#13\;\nAbstract: We give a method for modular
  generation of ground interpolants in modern SMT solvers supporting mult
 iple theories. Our method uses a novel algorithm to modify the proof tre
 e obtained from an unsatifiability run of the solver into a proof tree w
 ithout occurrences of troublesome “uncolorable” literals. An interpolant
  can then be readily generated using existing procedures. The principal 
 advantage of our method is that it places few restrictions (none for con
 vex theories) on the search strategy of the solver. Consequently\, it is
  straightforward to implement and enables more efficient interpolating S
 MT solvers. In the presence of non-convex theories our method is incompl
 ete\, but still more general than previous methods.&#13\;\n&#13\;\n    *
  Date: Tuesday\, 10:30am\, 05 Jan 2010&#13\;\n    * Time: 10:30am – 11:3
 0am&#13\;\n    * Location: Galois\, Inc.&#13\;\n      421 SW 6th Ave. Su
 ite 300&#13\;\n      (3rd floor of the Commonwealth Building)&#13\;\n   
    Portland\, OR 97204&#13\;\n&#13\;\nBio: Amit Goel is a member of Inte
 l’s Strategic CAD Labs.\n\nImported from: http://calagator.org/events/12
 50458113
URL:http://www.galois.com/blog/2009/12/30/tech-talk-ground-interpolation-
 for-combined-theories/
SUMMARY:Galois Tech Seminar
LOCATION:Galois\, Inc: 421 SW 6th Ave. Suite 300\, Portland OR 97204 US
SEQUENCE:4
END:VEVENT
END:VCALENDAR