Delivery-Date: 
Sender: info-hol-request@leopard.cs.byu.edu
Errors-To: info-hol-request@leopard.cs.byu.edu
Precedence: bulk
Date: Mon, 24 Jan 1994 17:32:24 +0100
From: kajler@can.nl (Norbert Kajler)
Message-Id: <9401241632.AA16553@canb.can.nl>
To: info-hol@cs.uidaho.edu, isabelle-users@cl.cam.ac.uk, 
    proof-sci@cs.chalmers.se, theorem-provers@mc.lcs.mit.edu
Subject: workshop on Human Interaction for Symbolic Computation in Amsterdam
Cc: kajler@can.nl


                 ------------------------------------------    
                           HISC workshop in RIACA
         
                 HUMAN INTERACTION FOR SYMBOLIC COMPUTATION
                 ------------------------------------------

          Research Institute for Applications of Computer Algebra, 
                Amsterdam, The Netherlands, March 10-11 1994


  The main goal of the HISC workshop is to investigate new paradigms to 
  improve Human Interaction with Symbolic Computation software.  

  Clearly, user interfaces for computer algebra systems have already 
  improved a lot as the most advanced front-ends allow, for instance, 
  mixing text, graphics, and formulas, shrinking paragraphs, browsing
  the on-line manual using hypertext mechanisms, etc.  
  Other efforts were made to improve interaction with theorem provers.

  However, many problems are poorly or not at all addressed by present 
  user interfaces.  Taking advantage of previous work, the workshop will 
  focus on highlighting new research directions to simplify the use of 
  symbolic computation software.  These include:
  * direct manipulation of subexpressions involving both syntactic and 
    semantic aspects; 
  * representation and interactive manipulation of exotic mathematical 
    objects; 
  * efficient communication between the application and the interface;
  * intelligent session management providing support to users solving 
    non-trivial problems;
  * interaction with theorem provers/checkers such as COQ, LEGO, etc;
  * use of alternative input technologies -- such as voice or pen; 
  * algorithm animation and efficient browsing of complex data structures;
  * ...

  The HISC workshop is also connected to the ACELA project of interactive 
  mathematical books for Lie Algebra.

  The workshop will be conducted in English and is limited to 30 participants.
  Attending the workshop is free, short presentations and software 
  demonstrations are welcome.


  A preliminary program will be posted by February 15th.

  For all further information, please contact:

  Norbert Kajler
  CAN/RIACA
  Kruislaan 419, 1098 VA Amsterdam, The Netherlands
  E-mail: kajler@can.nl    Tel.: +31-20-560 84 65    Fax.: +31-20-668 54 86


  ============================================================================


  HISC workshop in Amsterdam, March 10-11 1994.
  Request for Participation (to be returned to: kajler@can.nl or by post).


  .....................................................................
  family name:
  .....................................................................
  first name:
  .....................................................................
  organization:
  .....................................................................
  postal address:

  .....................................................................
  telephone:
  .....................................................................
  telefax:
  .....................................................................
  e-mail:
  .....................................................................
  I would like to offer the following presentation, tentative title:
 
  .....................................................................


  Local arrangements, including hotel booking can be made by RIACA.
  Please, contact the RIACA secretary: wirah@can.nl

  ============================================================================