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.
Breaking news: UITP 2018 has been accepted as a workshop at
It will take place on Fri, July 13th, 2018. Please consider submitting
List of Previous Meetings
- UITP'16: July 2nd, Coimbra, Portugal. IJCAR 2016 workshop.
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