Events

--- Call for Papers ---

Post-Proceedings of the 10th International Workshop on User Interfaces for Theorem Provers (UITP 2012) 11.07.2012, Bremen, Germany, Part of CICM 2012

http://www.informatik.uni-bremen.de/uitp12/

The User Interfaces for Theorem Provers workshop series provides a forum for researchers interested in improving human interaction with interactive proof systems, be it theorem provers, formal method tools, and other tools manipulating and presenting mathematical formulas.

UITP 2012 has taken place in Bremen on July 11th, 2012.