UITP 2012 Workshop

UITP 2012 is the 10th International Workshop On User Interfaces for Theorem Provers. It brings together researchers interested in designing, developing and evaluating interfaces for interactive proof systems, such as theorem provers, formal method tools, and other tools manipulating and presenting mathematical formulas.

Its webpage can be found here.