Export to

• Google Calendar
• iCalendar file
• hCalendar markup
  <div class="vevent h-event"> <h1 class="summary p-name">Galois Tech Seminar</h1> <div class='date'><time class="dtstart dt-start" title="2010-01-05T10:30:00" datetime="2010-01-05T10:30:00">Tuesday, January 5, 2010 from 10:30</time>–<time class="dtend dt-end" title="2010-01-05T11:30:00" datetime="2010-01-05T11:30:00">11:30am</time></div> <div class="location vcard p-location h-card"> <a class="url" href='http://calagator.org/venues/202390439'><span class='fn org p-name'>Galois, Inc</span></a> <div class="adr p-adr h-adr"> <div class="street-address p-street-address">421 SW 6th Ave. Suite 300</div> <span class="locality p-locality">Portland</span> , <span class="region p-region">OR</span> <span class="postal-code p-postal-code">97204</span> <div class="country-name p-country-name">US</div> (<a href='https://maps.google.com/maps?q=421%20SW%206th%20Ave.%20Suite%20300,%20Portland%20OR%2097204%20US'>map</a>) </div> </div> <div class="description p-description"> <p>The next Galois Tech Talk will be delivered by Amit Goel. Come kick off 2010 with us!</p> <p>Title: Ground Interpolation for Combined Theories</p> <p>Abstract: We give a method for modular generation of ground interpolants in modern SMT solvers supporting multiple theories. Our method uses a novel algorithm to modify the proof tree obtained from an unsatifiability run of the solver into a proof tree without 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 convex theories) on the search strategy of the solver. Consequently, it is straightforward to implement and enables more efficient interpolating SMT solvers. In the presence of non-convex theories our method is incomplete, but still more general than previous methods.</p> <pre><code>* Date: Tuesday, 10:30am, 05 Jan 2010 * Time: 10:30am – 11:30am * Location: Galois, Inc. 421 SW 6th Ave. Suite 300 (3rd floor of the Commonwealth Building) Portland, OR 97204 </code></pre> <p>Bio: Amit Goel is a member of Intel’s Strategic CAD Labs.</p> </div> <h3>Links</h3> <ul> <li><a class="url u-url" href="http://www.galois.com/blog/2009/12/30/tech-talk-ground-interpolation-for-combined-theories/">Website</a></li> </ul> </div>