Return-Path: Received: from CS.CMU.EDU by A.GP.CS.CMU.EDU id aa01287; 24 Jan 94 11:37:35 EST Received: from swan.cl.cam.ac.uk by CS.CMU.EDU id aa07022; 24 Jan 94 11:36:57 EST Received: from canb.can.nl (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Mon, 24 Jan 1994 16:33:48 +0000 Received: by canb.can.nl via EUnet; Mon, 24 Jan 1994 17:32:24 +0100 (MET) 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 ============================================================================ Return-Path: Received: from CS.CMU.EDU by A.GP.CS.CMU.EDU id aa14667; 17 Feb 94 12:30:10 EST Received: from swan.cl.cam.ac.uk by CS.CMU.EDU id aa05419; 17 Feb 94 12:28:43 EST Received: from cand.can.nl (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Thu, 17 Feb 1994 17:25:21 +0000 Received: by cand.can.nl with SMTP; Thu, 17 Feb 1994 18:23:34 +0100 (MET) Received: by canb.can.nl via EUnet; Thu, 17 Feb 1994 18:23:35 +0100 (MET) Date: Thu, 17 Feb 1994 18:23:34 +0100 From: kajler@can.nl Message-Id: <9402171723.AA09215@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: HISC workshop: program and 2nd announcement Cc: kajler@can.nl -------------------------------------------- HISC workshop in RIACA HUMAN INTERACTION FOR SYMBOLIC COMPUTATION 2nd ANNOUNCEMENT / PRELIMINARY PROGRAM / DIRECTIONS -------------------------------------------- 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. Attending the workshop is free, short presentations and software demonstrations are welcome. 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-5608465 Fax.: +31 20-6685486 PRELIMINARY PROGRAM ------------------- List of talks: -------------- Olivier ARSAC (INRIA Sophia-Antipolis, France) AGAT, A Graphical Animation Tool Ron AVITZUR (Independent, USA) The Macintosh Calculator Desk Accessory: An experiment in transparent ui. Roland BACKHOUSE (Eindhoven University of Technology, Netherlands) Mathpad: A system for on-screen preparation of mathematical documents. Gilles Barthe (KUN, Netherlands) Requests for an interface for fully formalised proofs. Allan BONADIO (Prescience Corp., USA) The Theorist User Interface Yves BERTOT (INRIA Sophia-Antipolis, France) Distributed User Interfaces for Theorem Provers Yves CHIRICOTA (Universite Bordeaux I, France) CalICo: A software tool to manipulate combinatorial objects. Karsten HOMANN (Universitaet Karlsruhe, Germany) LEMMA -- Integrating Proving and Learning in Computer Algebra Systems Andre van LEEUWEN (CWI, Netherlands) ACELA, using mathematics in an interactive book Marc van LEEUWEN (CWI, Netherlands) -- To be confirmed. An interactive interface for tableau algorithms Godfrey NOLAN (Numerical Algorithms Group, UK) HyperDoc and Axiom-NAG link Seppo POHJOLAINEN (Tampere University of Technology, Finland) Computer algebra in hypermedia courses Vincent QUINT (INRIA Grenoble, France) Active Structured Documents as User Interfaces Olaf WEBER (CWI, Netherlands) ACELA, design of an interactive book Wolfgang WECK (ETH Zurich, Switzerland) Putting Icons into (Con-) Text March 10th: ----------- Starts at 10.00 - registration / coffee & Tea - morning session - lunch on premises - afternoon session - software demonstrations (*) / visit of CAN & RIACA / informal discussions - dinner on premises Ends about 21.00 March 11th: ----------- Starts at 9.00 - morning session - lunch on premises - afternoon session - software demonstrations (*) / informal discussions Ends at 17.15 (*) People who plan to give software demonstrations should: 1. Send a title + a 5-10 lines abstract to setup a demo list, 2. Contact: Andre Heck (heck@can.nl) who will help to instal/test software on Unix workstations at RIACA (from March 1st to March 11th). ADDRESSES AND DIRECTIONS ------------------------ The IBIS Centre Hotel is conveniently situated directly next to the Central Station. People arriving by train will find it 100 meters on their right when exiting the Central Station. People arriving by plane should catch a train from the airport to the Central Station. Trains run every 20 minutes from 6am to 11pm. The trip costs Dfl 5.5 and lasts about 20 minutes. HISC special rate makes the room at Ibis hotel cost: Dfl 136 (or Dfl 121.50 without breakfast). Transportation from the hotel to the place of the workshop will be arranged by RIACA: a special bus will leave the hotel at 9.45 on March 10th and 8.30 on March 11th. The same bus will bring people back to the hotel after the workshop (it will leave CWI at 17.15, which means that people leaving on Friday could easily be at the airport before 19.00). The address of the 'Ibis Hotel Centre' is: Stationsplein 49 1012 AB Amsterdam Tel.: (020) 638 99 99 The workshop will be held in the CWI building: Room Z 011 CWI Kruislaan 413 Amsterdam For hotel reservations, local arrangements, etc, please contact the secretary of RIACA: Ms P. W. Wirahadiraksa RIACA / CAN Kruislaan 419 1098 VA Amsterdam E-mail: riaca@can.nl Tel.: +31 20-5608450 Fax: +31 20-6685486 REGISTRATION FORM ----------------- 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