Message-Id: <199601282057.WAA16902@ra.abo.fi>
Sender: info-hol-request@leopard.cs.byu.edu
Errors-To: info-hol-request@leopard.cs.byu.edu
Precedence: list
To: info-hol@leopard.cs.byu.edu
Cc: tfm@dcs.gla.ac.uk
Subject: Workshop on Interface Design.
Date: Sun, 28 Jan 1996 20:23:36 +0000
From: Tom Melham <tfm@dcs.gla.ac.uk>

User Interfaces for Theorem Proving Assistants
                   1996
           University of York, UK

              Call for Papers


1    The Workshop

This international workshop provides a forum for
the exchange of ideas and research on the analysis
and design of user interfaces for theorem proving
assistants. In particular it facilitates cross-
fertilisation between the fields of human-
computer interaction (HCI) and mechanised theorem
proving.

2    Programme Committee

Stuart Aitken, University of Glasgow, UK
Richard Bornat, QMW, University of London, UK
Alan Bundy, University of Edinburgh, UK
Andy Dearden, University of York, UK
Phil Gray, University of Glasgow, UK
Michael Harrison, University of York, UK
Xiaorong Huang, Univ. of the Saarland, Germany
Norbert Kajler, Ecole des Mines de Paris, France
Helen Lowe, Napier University, UK
Tom Melham, University of Glasgow, UK
Nick Merriam, University of York, UK
Laurent Thery, INRIA, Sophia Antipolis, France
Muffy Thomas, University of Glasgow, UK

3    Topics

The theme of the workshop is the study of
interfaces for theorem proving assistants and all
pertinent submissions will be considered. Papers
on the following topics are especially welcome.


   * Analysis of interfaces
   * Case studies of tools
   * Interaction for proof planning
   * Reading and representation of logic
   * Interaction for reuse (of theorems etc.)
   * Studies of reasoning
   * Interface useability studies

4    Submissions

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

     nam@minster.cs.york.ac.uk

or as four paper copies to

     Nick Merriam
     UITP '96
     Computer Science
     University of York
     York YO1 5DD
     U.K.

5    Dates

Submissions deadline:             25th March 1996
Notification of acceptance:       27th May   1996
Workshop:                         19th July  1996

6    Location

The workshop will be held at the University of
York in the UK. The local organisers are Nick
Merriam, Michael Harrison and Andy Dearden.

7    More Information

There is a UITP '96 web site at
http://www.cs.york.ac.uk/~nam/uitp96.html
and all information about UITP '96 will be posted
to the UITP mailing list: uitp@dcs.gla.ac.uk. To
subscribe to this list, send an email request to
uitp-request@dcs.gla.ac.uk.  Further information
can be obtained by contacting Nick Merriam at the
submissions address above.