UITP Home Page


User Interfaces for Theorem Provers

UITP'14: July 17, 2014


The EPTCS Post-Proceedings have been published!


The UITP workshop series brings together researchers interested in designing, developing and evaluating interfaces for interactive proof systems, such as theorem provers, tools for formal methods, and other tools manipulating and presenting mathematical formulas and proofs. The workshop provides a forum for researchers interested in improving human interaction with proof systems. We welcome participation and contributions from the theorem proving, formal methods and HCI communities, both to report on experience with existing systems, and to discuss new directions.

Topics of UITP cover all areas of user interfaces for theorem provers, including but not limited to:

  • Application-specific interaction mechanisms or designs for prover interfaces
  • Experiments and evaluation of prover interfaces
  • Languages and tools for authoring, exchanging and presenting proofs
  • Implementation techniques (e.g. web services, custom middleware, DSLs)
  • Integration of interfaces and tools to explore and construct proofs
  • Representation and manipulation of mathematical knowledge or objects
  • Visualisation of mathematical objects and proofs
  • System descriptions

The list of all previous meetings can be found on the workshop series home page: http://www.informatik.uni-bremen.de/uitp.

Invited Speakers

  • Geoff Sutcliffe (University of Miami)
  • Enrico Tassi (INRIA, Laboratoire d’Informatique de l’Ecole Polytechnique)

Call for Papers

Important Dates (preliminary)

  • Paper submission: May 4
  • Author notification: May 25
  • Final papers: May 31
  • Workshop: July 17


Program Committee