Both Deduction Systems and Computer Algebra Systems are receiving
growing attention from industry and academia.
On the one hand, Mathematical Software Systems have been commercially very
successful. Their use is now wide-spread in industry, education, and scientific
contexts.
On the other hand, the use of formal methods in hardware and software development
has made Deduction Systems indispensable not least because of the complexity and
sheer size of the reasoning tasks involved. In spite of these successes there is
still need for improvement as many application domains still fall outside the
scope of existing Deduction Systems and Computer Algebra Systems.
The symposium is intended for researchers
and developers interested in combining the reasoning capabilities of
Deduction Systems and the computational power of CASs.
The symposium will have published proceedings with A K Peters Publishers after the meeting. We will have preliminary proceedings at the meeting itself. Inastructions for authors
Submission deadline: 15 April 2000 Notification of acceptance: 22 May 2000 Final versions for preliminary proceedings: 1 July 2000 Final versions for proceedings: 1 October 2000 Symposium: 6-7 August 2000 ISSAC: 7-9 August 2000 13. OpenMath Workshop: 10 August 2000
Registration
Registration is with ISSAC
Social Events
There will be a conference dinner on sunday August 6.
Programme Committee
Programme
Further Information