Call for Papers

Journal of Symbolic Computation

Special Issue on

Computer Algebra and Mechanized Reasoning

Guest Editors: Tomás Recio, Manfred Kerber


The special issue is related to topics discussed in the context of the ISSAC-2000 symposium and the CALCULEMUS-2000 symposium in August 2000 in St Andrews, Scotland. We invite any work that substantially extends ideas and topics presented in St Andrews.

Typical ISSAC-2000 relevant topics are:

CALCULEMUS-2000 relevant topics include all aspects related to the combination of deduction systems and computer algebra systems. We also explicitly encourage submissions of results from applications and case studies where such an integration proves particularly important. Typical topics are: Prospective contributors are warmly invited to contact the guest editors to discuss the suitability of topics and papers.

Submission Guidelines

ISSAC-related papers must be submitted to Tomás Recio, CALCULEMUS-related papers to Manfred Kerber. For submissions please follow the instructions provided at

Electronic submissions are strongly encouraged, and may be sent as one e-mail (MIME attachments are allowed). The message should contain (i) the abstract in ASCII and (ii) the whole paper in Postscript. The Postscript form must be interpretable by Ghostscript, and must use standard fonts, or include the necessary fonts. Authors who cannot meet these requirements should submit 5 hard copies by post instead.

All submitted papers will be refereed according to the usual JSC refereeing process.

To aid planning and organization, we would appreciate an email of intent to submit a paper (including author information, a tentative title and abstract, and an estimated number of pages) as early as possible.

Important Dates

Submission of papers:
Notification of acceptance/rejection:
Submission of revised versions:
Delivery of camera-ready copies:
Publication of special issue:
1 November 2000
15 February 2001
15 March 2001
1 April 2001
planned around July 2001

Guest Editors' Addresses

Tomás Recio Manfred Kerber
Departamento de Matemáticas
Estadística y Computación
Facultad de Ciencias
Universidad de Cantabria
Avenida de los Castros, s/n
39071 Santander, España
phone: +34 942 20 14 33
fax: +34 942 20 14 02
School of Computer Science
The University of Birmingham
B15 2TT
phone: +44 121 414 4787
fax: +44 121 414 4281

JSC Editor's Web Page: