22. CADE 2009:
Martin C. Rinard
: Integrated Reasoning and Proof Choice Point Selection in the Jahob System - Mechanisms for Program Survival.
Combinations and Extensions
Minimal Unsatisfiability and Automated Reasoning Support
: Instantiation-Based Automated Reasoning: From Theory to Practice.
Interpolation and Predicate Abstraction
Resolution-Based Systems for Non-classical Logics
Termination Analysis and Constraint Solving
Rewriting, Termination and Productivity
Modal Tableaux with Global Caching