[ back to JSC Editor's Page]

Call for Papers

Journal of Symbolic Computation

Special Issue on
Logic, Mathematics and Computer Science: Interactions

Guest Editor: Deepak Kapur

[Important Dates] [Submission Guidelines]


The special issue is being put together to honor Professor Bruno Buchberger's many achievements including the founding of the Journal of Symbolic Computation. It will include some of the papers presented at the symposium on Logic, Mathematics and Computer Science: Interactions (LMCS'02) (http://www.risc.uni-linz.ac.at/conferences/LMCS2002 ) held on Oct. 20-22 at RISC-Linz.

We invite authors of the papers presented at LMCS'02 as well as others to submit papers on topics related to Professor Buchberger's works and interests, for instance (not excluding others):

You might want to visit Professor Buchberger's web page:

http://www.risc.uni-linz.ac.at/people/buchberg/index.html

to check the relevance of your submission.

Important Dates

Submission of papers:
February 15, 2003
Notification of acceptance/rejection:
June 15, 2003
Submission of revised versions:
July 15, 2003
Delivery of camera-ready copies:
August 1, 2003


Publication of special issue: October, 2003

Submission Guidelines