Title      : Integration of Decision Procedures:
              State of the Art
<P>
Speaker Zohar Manna
<P>
Abstract:
Decision procedures are algorithms that reason about
the satisfiability or validity of formulas in a given
decidable theory.  Decision procedures have been used
extensively in theorem proving, model checking,
verification and synthesis. We discuss decision
procedures for several decidable theories and the ways
of integrating them to handle combined theories.