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.

Here is the list of previous UITP workshps:

• UITP'05 was held as ETAPS'05 Satellite Workshop in Edinburgh on April, 9th 2005. Full details can be found at the UITP'05 webpage.
• UITP'03 was held in conjunction with TPHOLs in Rome on September, 8 2003. Full details can be found at the UITP'03 webpage.
• UITP'98 was held at Eindhoven University of Technology on July, 13-15 1998.
• UITP'97 was held at Sophia-Antipolis on September, 1-2 1997. Full details can be found here.
• UITP'96 was held at York on July, 19th 1996. A workshop report is available.
• A one-day International Workshop on User Interface Design for Theorem Proving Systems was held at Glasgow on 18 July 1995. There is an on-line archive of the workshop and a report.

Call for Papers

Please find here the official CFP for UITP'06.

Organization

Format of the Workshop

The proposed format of the workshop is one day of presentations. In addition the program might include space for demo sessions on attendees' laptops and/or an invited talk.

Program Committee

Organizers and PC Chairs

If you have any questions about the workshop, please contact the organizers:

Submission

Paper can be submitted in PDF format (10-20 pages following ENTCS guidelines) via EasyChair (thanks to Andrei Voronkov).

All papers will be reviewed by members of the Programme Committee and selected by the organizers in accordance with the referee reports.

Important Dates

Publication

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

This page has been created with TeXmacs and is also available as pdf.