The User Interfaces for Theorem Provers workshop brings together researchers interested in designing, developing and evaluating interfaces for interactive proof systems, such as theorem provers, formal method tools, and other tools manipulating and presenting mathematical formulas. The workshop provides a forum for all those interested in improving human interaction and usability of proof systems. We welcome participation and contributions from the theorem proving, formal methods and tools, and HCI communities, both to report on experience with existing systems, and to discuss new directions.
PublicationThe workshop proceedings will be distributed at the workshop as a collection of the accepted papers. Final versions of accepted papers have to be prepared with LaTeX. Following up the workshop the (revised) accepted papers will be published in a volume of ENTCS devoted to the workshop.
Format of the Workshop
The workshop will consist of one day of presentations. In addition the program includes a demo session on attendees' laptops.
Organizers and PC Chairs
If you have any questions about the workshop, please contact the organizers.
Here is the list of previous UITP workshps: