Uitp 2003. User Interfaces For Theorem Provers, International Workshop (Rome, September 2003)

The UITP workshop brings together researchers interested in designing, developing and evaluating interfaces for interactive proof systems. These systems include theorem provers, formal method tools, and other tools manipulating and presenting mathematical formulae.Contributions by David Aspinall, Philippe Audebaud, Serge Autexier, Christoph Benzmüller, Yves Bertot, Richard Bornat, Martin Giese, Frédérique Guilhot, Malte Hübner, Joseph R. Kiniry, Christoph Lüth, Andreas Meier, Erica Melis, Scott Owens, Sam Owre, Martin Pollet, Loïc Pottier, Laurence Rideau, Konrad Slind, Laurent Théry, Norbert Völker.