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.
Conferences on Intelligent Computer Mathematics
8.-13. July 2012
Jacobs University, Bremen, Germany
Last modified: April 04 2018 09:42:19 CEST