Published: 24th January 2017|
|Preface Serge Autexier and Pedro Quaresma|
|AltGr-Ergo, a Graphical User Interface for the SMT Solver Alt-Ergo Sylvain Conchon, Mohamed Iguernlala and Alain Mebsout||1|
|jsCoq: Towards Hybrid Theorem Proving Interfaces Emilio Jesús Gallego Arias, Benoît Pin and Pierre Jouvelot||15|
|Tactical Diagrammatic Reasoning Sven Linker, Jim Burton and Mateja Jamnik||29|
|Interactive Proof Presentations with Cobra Martin Ring and Christoph Lüth||43|
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 2016||Serge Autexier|