8th International Workshop On
User Interfaces for Theorem Provers

TPHOLS'08 Satellite Workshop
Friday, 22nd August 2008, Montréal, Québec, Canada

The User Interfaces for Theorem Provers 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 formulas.

While the reasoning capabilities of interactive proof systems have increased dramatically over the last years, the system interfaces have often not enjoyed the same attention as the proof engines themselves. In many cases, interfaces remain relatively basic and under-designed.

The User Interfaces for Theorem Provers workshop series provides a forum for researchers interested in improving human interaction with 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. Topics covered include, but are not limited to:

UITP 2008 is a one-day workshop to be held on Friday, August 22nd 2008 in Montreal, Canada, as a TPHOLS'08 workshop.


Regular Session 1 Regular Session 2 Regular Session 3 Invited System Demonstrations The informal workshop proceedings can be found here.

Important dates

Programme Committee

If you have any questions about the workshop, please contact the organizers: uitp08@ags.uni-sb.de.

More information about the workshop series can be found at the UITP Interest Group webpage.