- David Aspinall 0001, Claudio Sacerdoti Coen, editors, Proceedings of the 9th International Workshop On User Interfaces for Theorem Provers, UITP 2010, Edinburgh, UK, July 15, 2010. Volume 285 of Electronic Notes in Theoretical Computer Science, Elsevier, 2012.