Delivery-Date: 
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: bulk
From: kajler@can.nl
Date: Fri, 20 Jan 1995 14:05:30 +0100
Message-Id: <9501201305.AA13304@canb.can.nl>
To: info-hol@cs.uidaho.edu, proof-sci@cs.chalmers.se, 
    theorem-provers@mc.lcs.mit.edu
Subject: 2nd CFP - JSC Special Issue on UI and Protocols
Cc: kajler@can.nl


*****************************************************************************
                          SECOND CALL FOR PAPERS
            Special Issue of the Journal of Symbolic Computation 
                                    on 
                  GRAPHICAL USER INTERFACES and PROTOCOLS
*****************************************************************************
      
        
This special issue covers user interface design of mathematical systems,
the display and editing of mathematical formulas and functions, and the
communication of data and other information between mathematical systems.
The research areas covered include:
  * interface issues specific to symbolic computation systems,
  * mathematical expression display and editing,
  * presentation and interactive manipulation of very large expressions,
  * the display of type and condition information e.g. Re(a) > 0
  * the graphical display of mathematical functions (not data),
  * the design of the working environment (including worksheets and notebooks),
  * session management and support for solving large complex problems,
  * how data is communicated from one system to another,
  * use of alternative input technologies -- such as voice or pen.

Format:
 * Submissions should follow the JSC style guide available from 
   ftp.risc.uni-linz.ac.at under pub/jsc.
   LaTeX users are encouraged to use the jsc.sty file.
 * Papers should be submitted either
     - in paper format, by post to one of two adresses below,
     - or PREFERABLY, in electronic format.
   In the second case, use only email for small files; larger files can be 
   put by anonymous FTP on canc.can.nl in the directory incoming (remember 
   to user binary mode when sending a compressed file).
   At this stage, sending a single postscript file is usually the best way.
 * In any case, authors are expected to send by EMAIL to one of the editor
   an ASCII file with title, list of authors with affiliation and email, 
   and a 10-20 lines abstract.

Submitted papers will be acknowledged upon reception.

Important dates:
  * March     30 1995   Deadline for submissions,
  * June      30 1995   Notifications of acceptance/rejection,
  * September 30 1995   Camera-ready copy due,
  * Spring       1996   Special issue of the JSC on Graphical UI and Protocols.

For all further information, please contact:
  Dr. Norbert Kajler
  CAN/RIACA
  Kruislaan 419, 1098 VA Amsterdam, The Netherlands
  E-mail: kajler@can.nl      Tel.: +31 20 560 8465     Fax.: +31 20 668 5486
or:
  Dr. Michael Monagan
  Institute for Scientific Computing,
  ETH Zentrum, CH 8092 Zurich, Switzerland
  E-mail: monagan@inf.ethz.ch    Tel.: +41 1 632 7473    Fax: +41 1 632 1172