| UITP'06 | Seventh Workshop on User-Interfaces for Theorem Provers Seattle, August 21, 2006 |
Overview
The User Interfaces for Theorem Provers workshop 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. The workshop provides a forum for all those interested in improving human interaction and usability of 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.
Program
Publication
The workshop proceedings will be distributed at the workshop as a collection of the accepted papers. Final versions of accepted papers have to be prepared with LaTeX. Following up the workshop the (revised) accepted papers will be published in a volume of ENTCS devoted to the workshop.Format of the Workshop
The workshop will consist of one day of presentations. In addition the program includes a demo session on attendees' laptops.
Programme Committee
| David Aspinall | University of Edinburgh, UK |
| Yves Bertot | INRIA Sophia Antiplois, France |
| Paul Cairns | University College London, UK |
| Ewen Denney | NASA Ames Research Center, USA |
| Christoph Lüth | University of Bremen, Germany |
| Michael Norrish | NICTA, Australia |
| Florina Piroi | RICAM, Austrian Academy of Sciences, Austria |
| Aarne Ranta | Chalmers University, Sweden |
| Makarius M. M. Wenzel | Technical University Munich, Germany |
Organizers and PC Chairs
| Serge Autexier | DFKI, Stuhlsatzenhausweg 3, D-66123 Saarbrücken, Germany. |
| Christoph Benzmüller | FR 6.2 Informatik, Saarland University, D-66041 Saarbrücken, Germany. |
If you have any questions about the workshop, please contact the organizers.
History
Here is the list of previous UITP workshps:
- UITP'05 was held as ETAPS'05 Satellite Workshop in Edinburgh on April, 9th 2005. Full details can be found at the UITP'05 webpage.
- UITP'03 was held in conjunction with TPHOLs in Rome on September, 8 2003. Full details can be found at the UITP'03 webpage.
- UITP'98 was held at Eindhoven University of Technology on July, 13-15 1998.
- UITP'97 was held at Sophia-Antipolis on September, 1-2 1997. Full details can be found here.
- UITP'96 was held at York on July, 19th 1996. A workshop report is available.
- 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.
