Session 14

Chair: Pascal Fontaine

• 15:15: Clark Barrett. Domain-Specific Reasoning with Satisfiability Modulo Theories.