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
mathematical formulae.
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 or other year.
Next meeting
-
UITP'08
will take place as a
TPHOLs'08 satellite workshop on August
22nd 2008 in Montréal, Québec, Canada.
List of Previous Meetings
- UITP'06:
Aug 21st 2006, Seattle. FLoC'06 Satellite Workshop.
- UITP'05:
Apr 9th 2005, Edinburgh. ETAPS'05 Satellite Workshop.
- UITP'03:
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.
-
UITP'96:
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.
People
A group of volunteers is currently attempting to ensure continuity between
meetings.
Contact
You can reach us under the following email-adress:
uitp at informatik.uni-bremen.de
