Representation of mathematical knowledge

ECAI96

Budapest, Hungary

August 13th. 1996 (to be determined)

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

CFP (overview)

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/

Addresses

Tentatively confirmed attendees

CFP (overview)

CFP (plain text)

Recommended TeX-Style: ecaiws96.sty

Timetable of the workshop ** NEW **

Received papers (password needed)