CfP: User Interfaces for Theorem Provers UITP'12 Post-Proceedings

15 Dec 2012

--- 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

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. For the forthcoming post-proceedings, we invite contributions -- in addition to accepted presentations at the workshop -- from the theorem proving, formal methods and tools, and HCI communities, both to report on experience with existing systems, and to discuss new directions. Topics covered include, but are 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 proof;
  • Implementation techniques (e.g. web services, custom middleware, DSLs);
  • Integration of interfaces and tools to explore and construct proof;
  • Representation and manipulation of mathematical knowledge or objects;
  • Visualisation of mathematical objects and proof;
  • System descriptions.

Submitted papers should describe previously unpublished work, and must be prepared in LaTeX using the EPTCS macro package which can be downloaded from the workshop web page. There is no strict page limit. Authors are asked to consult the author information at with regards to content, format and metadata. Submission will be via EasyChair at the previous address (see link from the web page). All submissions will be peer reviewed by members of the programme committee, and accepted papers will appear in an EPTCS volume.

The workshop web page at contains all needed information and links.

Important Dates:

  • Submission deadline: 15.12.2012
  • Acceptance notification: 15.02.2013
  • Final version: 01.04.2013

Program Committee:

  • David Aspinall, University of Edinburgh, UK
  • Serge Autexier, DFKI, Germany
  • Christoph Benzmueller, Articulate Software, USA
  • Herman Geuvers, Radboud University Nijmegen, the Netherlands
  • Cezary Kaliszyk, University of Innsbruck, Austria, (PC co-chair)
  • Christoph Lüth, DFKI, Germany (PC co-chair)
  • Adam Naumowicz, University of Białystok, Poland
  • Claudio Sacerdoti Coen, University of Bologna, Italy
  • Geoff Sutcliffe, University of Miami, United States
  • Enrico Tassi, INRIA, France
  • Josef Urban, Radboud University Nijmegen, the Netherlands
  • Makarius Wenzel, Université Paris-Sud 11, France

More information about the workshop series can be found at the UITP Interest Group web page