Accepted Papers

Adam Chlipala, George Necula
Cooperative Integration of an Interactive Proof Assistant and an Automated Prover

Florent Kirchner, Cesar Munoz
PVS#: Streamlined Tacticals for PVS

Maria Paola Bonacina, Mnacho Echenim
Rewrite-Based Decision Procedures

William McCune
Semantic Guidance with Carefully Chosen Interpretations

Hongping Lim, Myla Archer
Translation Templates to Support Strategy Development in PVS

Moa Johansson, Alan Bundy, and Lucas Dixon
Best-First Rippling