This is the permanent home page of the User Interfaces for Theorem Provers
(UITP) workshop series. The UITP workshop series 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
The UITP workshop series started in 1995 with an international workshop in
Glasgow. Apart from a hiatus between 1998 and 2003, the workshop meets
roughly every other year.
The next UITP is scheduled to take place as a workshop
for IJCAR 2016 on
July 2nd in Coimbra, Portugal.
List of Previous Meetings
UITP'14: July 17th,
Vienna. ITP/IJCAR-workshop at FLoC'14 (part of
the Summer of Logic).
UITP'12: July 11th 2012, Bremen.
UITP'10: July 15th 2010, Edinburgh. ITP'10 Workshop at FLOC'10.
Aug 22nd 2008, Montréal, Québec, Canada.
TPHOLs'08 satellite workshop.
Aug 21st 2006, Seattle. FLoC'06 Satellite Workshop.
Apr 9th 2005, Edinburgh. ETAPS'05 Satellite Workshop.
Sep 8th 2003, Rome. Colocated with TPHOLs 2003.
UITP'98: July 13-15 1998, Eindhoven University of Technology.
UITP'97: Sept 1-2, 1997, Sophia-Antipolis on September, 1-2 1997.
July 19th 1996, University of York.
- 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.
A group of volunteers is seeking to ensure continuity between
You can reach us under the following email-adress:
uitp at informatik.uni-bremen.de