UITP'10 Accepted Papers

Asynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit
Visualising Reasoning: What ATP can learn from CP
Narrating Formal Proof (Work in Progress)
Pollack-inconsistency
Engineering the Prover Interface
A combination of a dynamic geometry software with a proof assistant for interactive formal proofs
Integrating Systems around the User: Combining Isabelle, Maple, and QEPCAD in the Prover's Palette
A User-friendly Interface for a Lightweight Verification System