Accepted Papers

Steven Trac, Yury Puzis, and Geoff Sutcliffe
An Interactive Derivation Viewer

Julien Narboux
A Graphical User Interface for Formal Proofs in Geometry.

Louise Abigail Dennis
Enhancing Theorem Prover Interfaces with Program Slice Information

Cezary Kaliszyk
Web Interfaces for Proof Assistants

Anne Mulhern, Charles Fischer, and Ben Liblit
Tool Support for Proof Engineering

Claudio Sacerdoti Coen, Enrico Tassi, and Stefano Zacchiroli
Tinycals: step by step tacticals

Josef Urban, Grzegorz Bancerek
Presenting and Explaining Mizar

Pedro Quaresma, Predrag Janicic
GeoThms - a Web System for Euclidean Constructive Geometry

Marc Wagner, Serge Autexier, and Christoph Benzmüller
PLATO: A Mediator between Text-Editors and Proof Assistance Systems

Peter C. Dillinger, Panagiotis Manolios, Daron Vroon, and J Strother Moore
ACL2s: "The ACL2 Sedan"