The User Interfaces for Theorem Provers workshop brings
together researchers interested in designing, developing and
evaluating interfaces for interactive proof systems, including
(but not limited to) theorem provers, formal method tools, and
other tools manipulating and presenting proofs.
While the reasoning capabilities of interactive proof
tools 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. Initial studies by HCI (Human-Computer
Interaction) practitioners and theorem-prover developers working in
collaboration have had promising early results, but much remains to be
investigated.
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.

UITP 2005 was held on Saturday 9th April 2005 in
Edinburgh, Scotland, as a satellite workshop of
ETAPS 2005.

Submissions for ENTCS volume

Submissions of revised papers are being accepted for
the ENTCS
volume associated with the meeting.
Submission is open to the authors of presented papers.

Please send papers in PDF format to
uitp05@inf.ed.ac.uk.
We will acknowledge submissions. If you do not hear within
a few days of submitting, please send a note in plain text.
Papers will be reviewed by members of the Programme Committee,
listed below.