9th International Workshop On
User Interfaces for Theorem Provers

FLOC'10 Satellite Workshop
15th July 2010, Edinburgh, Scotland

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 2010 is a one-day workshop to be held on July 15th 2010 in Edinburgh, Scotland, as a FLOC'10 workshop.


Registration is now open. Participants must register through on the unified FLOC registration site. Beware that early registration ends the 17th May and regular registration the 30th June.

Accepted Presentations

Drafts of the accepted papers

Submission (closed)

Submissions are encouraged in one of the following two categories:

Submission of papers is via EasyChair. All submissions will be peer reviewed and final versions of accepted submissions will be published in an ENTCS volume. Final versions of accepted papers have to be prepared with LaTeX.

Important dates

Programme Committee

If you have any questions about the workshop, please contact the organizers: uitp10@cs.unibo.it.

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