Published: 24th January 2017
DOI: 10.4204/EPTCS.239
ISSN: 2075-2180


Proceedings of the 12th Workshop on
User Interfaces for Theorem Provers
Coimbra, Portugal, 2nd July 2016

Edited by: Serge Autexier and Pedro Quaresma

Serge Autexier and Pedro Quaresma
AltGr-Ergo, a Graphical User Interface for the SMT Solver Alt-Ergo
Sylvain Conchon, Mohamed Iguernlala and Alain Mebsout
jsCoq: Towards Hybrid Theorem Proving Interfaces
Emilio Jesús Gallego Arias, Benoît Pin and Pierre Jouvelot
Tactical Diagrammatic Reasoning
Sven Linker, Jim Burton and Mateja Jamnik
Interactive Proof Presentations with Cobra
Martin Ring and Christoph Lüth


The UITP workshop series brings together researchers interested in designing, developing and evaluating user interfaces for automated reasoning tools, such as interactive proof assistants, automated theorem provers, model finders, tools for formal methods, and tools for visualising and manipulating logical formulas and proofs. The twelfth edition of UITP took place in Coimbra, Portugal on July 2nd, 2016, and was part of the International Joint Conference on Automated Reasoning (IJCAR'16). The workshop consisted of an invited talk by Sylvain Conchon about "AltGr-Ergo, a graphical user interface for the SMT solver Alt-Ergo", five presentations of submitted papers and a lively and informative hands-on session for using reasoning tools with special emphasis on their user-interfaces. These post-proceedings contain three contributed papers accepted for publication after a second round of reviewing after the workshop as well as the invited paper.

The programme committee of the workshop consisted of

We would like to thank the members of the Programme Committee for supporting the workshop, for their reviews and revisions.

November 2016Serge Autexier
Pedro Quaresma