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

List of Previous Meetings

• UITP'10: July 15th 2010, Edinburgh. ITP'10 Workshop at FLOC'10.
• UITP'08: Aug 22nd 2008, Montréal, Québec, Canada. TPHOLs'08 satellite workshop.
• 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.

• David Aspinall, University of Edinburgh
• Serge Autexier, DFKI
• Chris Benzmüller, FU Berlin
• Yves Bertot, INRIA Sophia-Antipolis
• Christoph Lüth, University of Bremen and DFKI

Contact

You can reach us under the following email-adress:

uitp at informatik.uni-bremen.de

Last Update 2012-01-11, Rev. 1550