The series was started in recognition of the fact that the difficulty in using powerful theorem proving software frequently lies with a poor user interface. There are gaps between the knowledge required by designers of such interfaces and present state of the art in general interface design technology. Effective solutions require the collaboration of HCI practitioners and the authors and users of existing theorem proving software.
In 1995 the first workshop in this series was hosted at the Department of Computer Science at the University of Glasgow. A brief report was published in FACS Europe.
In 1996 the
second workshop was hosted at the
University of York.
Electronic proceedings for this workshop are now available at the following address: http://www.cs.york.ac.uk/~nam/uitp/proceedings.html
There is a mailing list for disseminating information about the workshop series and discussion relevant to user interfaces for theorem provers. To subscribe, email a request to email@example.com. Messages can be posted to the list at firstname.lastname@example.org. All information about the 1997 workshop will be posted there.
Papers may be up to 8 pages in length. In addition, system demonstrations are invited. A cover sheet displaying the author's name, email and postal addresses, the title and abstract of the paper and whether or not a demonstration will be on offer, should be included.
Submissions should either be sent electronically, with the cover sheet as the body of an email and the paper as a postscript enclosure, to
Yves.Bertot@sophia.inria.fror as four paper copies to
Yves BertotThe call for papers is also available as postscript.
INRIA Sophia Antipolis,
2004, Route des Lucioles, B.P. 93,
06902 Sophia Antipolis Cedex,
|Submissions deadline||7th April 1997|
|Notification of acceptance||16th June 1997|
|Finished papers||15th July 1997|
|Intention to register||15th July 1997|
|Workshop||1-2 September 1997|
The workshop will be held at INRIA Sophia Antipolis in the south of France. This research center is located near Antibes, very close to the Nice airport.