Proceedings of the 12th Workshop on User Interfaces for Theorem Provers

TL;DR

This paper summarizes the 12th UITP workshop focused on user interfaces for automated reasoning tools, highlighting recent research, presentations, and discussions from the event.

Contribution

It provides an overview of recent advances and challenges in designing user interfaces for theorem proving and automated reasoning tools, based on workshop contributions.

Findings

Presentation of four new research papers on UI design for theorem provers

Discussion of hands-on sessions demonstrating reasoning tools

Summary of invited talks and community discussions

Abstract

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 twelth edition of UITP took place in Coimbra, Portugal, and was part of the International Joint Conference on Automated Reasoning (IJCAR'16). The workshop consisted of an invited talk, six presentations of submitted papers and lively hands-on session for reasoning tools and their user-interface. These post-proceedings contain four contributed papers accepted for publication after a second round of reviewing after the workshop as well as the invited paper.