+ + + EXTENDED DEADLINE + + +
                    + + + April, 1st. 1996 + + +

		    Call for Papers/Participation

			 ECAI-96 Workshop on

	       Representation of mathematical knowledge


				ECAI96
			  Budapest, Hungary

	   August 13th. 1996 (to be determined)

       (http://www8.informatik.uni-erlangen.de/IMMD8/ECAI96/)


INTRODUCTION:

The   goal of the QED   project  is to build   a  computer system that
effectively   represents  all important  mathematical   knowledge  and
technics.

This  workshop  is  about representation   formalisms for mathematical
knowledge and can therefore be linked to the QED project.

In  order to represent mathematics   in its entirety several views  on
mathematics need to be taken into account, such as:

   - mathematics at the formal level
   - mathematics at the concept level
   - mathematics at the heuristic level
   - mathematics at the process/algorithmic level
   - mathematics at the constraints level

Mathematicians  live   from   switching to  different   views whenever
needed.  Existing basic  formalisms for representing  knowledge, taken
separately, are not strong  enough to represent mathematical knowledge
in its different facets. Each representation formalism emphasizes only
one view of mathematical knowledge.

In the  workshop we will have a  closer look on   each of the existing
views  on mathematics and representation  formalisms.  We first define
criteria  in  order  to   measure their  'usefulness'  in representing
mathematical  knowledge.    These  criteria   will  include expressive
adequacy and notational efficiency of formalisms. Obviously, a builder
of a  theorem  prover, a  modeler  of creativity,  a  generator  of  a
mathematical  hypertext,  a  designer   of a  tutoring   system  or  a
visualizer  of mathematical knowledge  will  not always share the same
interpretation of ontological, epistemological and heuristic adequacy.
The   problem  to be    solved    normally requires   the   underlying
representation   to have certain   characteristics. So,  each of these
researchers    may claim,  that  horn  logic,  frames  or a  heuristic
representation is the best representation for them.

The goal of the workshop is to gather  researchers actively working in
the area of  knowledge representation in the  field of mathematics, to
exchange ideas and foster collaborations and new research directions.

The aims of the workshop are to:
  - define  requirements/criteria   for  representation  languages
    (including non-linguistic  representations)  for the different
    aspects of mathematics,
  - determine/explain  the   strengthens/shortcomings  of existing
    representations,
  - suggest augmentations/modifications to existing representation
    formalisms,
  - guide future research work.

Contributions   are encouraged which   focus  on the representation of
mathematical knowledge and its  application  on areas  like  teaching,
discovery, proving, and hypertext authoring etc.

FORMAT:

The  workshop will consist of   short  talks, panels, discussions  and
experience   reports.  A  talk will  last   20 minutes  followed by  a
discussion period of 10 minutes. Free  slots will be reserved in order
to  discuss arising questions,  to  apply representation formalisms to
concrete problems, and to brainstorming, in general.  We plan to write
a  technical report,  which  should contain the   state of the  art of
representation  formalisms  for mathematical  knowledge.   Any dispute
should be resolved or recorded in order to have some 'what to do' list
for future research. Additionally, we plan to edit a volume containing
the workshop  contributions.  We suggest  the  submitted papers to  be
re-edited by the authors taking into account their workshop
discussions and experiences.

Accepted papers will be made accessible via the WWW-page:

   http://www8.informatik.uni-erlangen.de/IMMD8/ECAI96/

SUBMISSION:

Papers   shall   not exceed  2000  words and   should  be submitted by
electronic mail to

        fermat@immd8.informatik.uni-erlangen.de 

Preferred format is LaTeX, 12pt font, double-spaced. The papers should
include a separate title page containing the authors' complete contact
information,  an abstract of not  more than 150  words,  and a list of
keywords.  Please  mention, if technical   equipment is necessary  for
presentation purposes.

IMPORTANT DATES:

  Submission Deadline: April 1st 1996 (EXTENDED)
  Notification Date  : April 15th 1996
  Final Version      : May 15th 1996

REMARKS: 

  - Those wishing to attend without presenting a paper should send
    a brief summary of their reasons for  interest in the workshop
    to the organizing committee chair.  Note that attendance will,
    of necessity, be limited.

  - WORKSHOP  PARTICIPATION    IS  NOT   POSSIBLE   WITHOUT  PRIOR
    REGISTRATION FOR THE MAIN CONFERENCE.  A fee of ECU 50 will be
    charged for each   workshop  participant in   addition  to the
    normal ECAI conference registration fee.

ORGANIZERS: 
   
  - Herbert Stoyan (chief-organizer)
    (E-mail:hstoyan@immd8.informatik.uni-erlangen.de)   
  - Karsten Homann (E-mail:homann@ira.uka.de)
  - Sabine Jacob (E-mail:jacob@immd8.informatik.uni-erlangen.de)
  - Manfred Kerber (E-mail:mmk@cs.bham.ac.uk)

CONTACT ADDRESS:

Questions regarding this workshop can be directed to:

   fermat@immd8.informatik.uni-erlangen.de

WWW PAGE:

Information about this workshop is also available via WWW at URL:
   
  http://www8.informatik.uni-erlangen.de/IMMD8/ECAI96/