JOURNAL OF SYMBOLIC COMPUTATION

Preliminary Announcement of Special Issue - ISSAC 2015

Following the 40th International Symposium on Symbolic and Algebraic Computation (ISSAC '15) held at University of Bath, UK, July 6-9, 2015; we invite submissions to a special issue of the Journal of  Symbolic Computation:
  http://www.journals.elsevier.com/journal-of-symbolic-computation/.

We solicit high-quality original research papers with journal-style extent of contribution. The main focus of this special issue will be on work (papers, tutorials, plenary talks, posters and software demonstrations) presented at ISSAC '15, but this call is open to further submissions which are close to ISSAC '15 presentations.

Potential contributors may contact the guest editors to discuss the suitability of topics and papers. The contact e-mail address will be announced soon.

*Guest Editors:*
------------------------------
- Steve Linton (University of St Andrews, UK)
- Kazuhiro Yokoyama  (Rikkyo University, Japan)

*Important Dates:*
------------------------------
- Deadline for paper submission:         November 20th, 2015.
- Notification of acceptance/rejection:  April, 2016.
- Publication of special issue:          Fall 2016.

*Submission Guidelines:*
------------------------------
You are recommended to use the Elsevier article class *elsarticle.cls*
(http://www.ctan.org/tex-archive/macros/latex/contrib/elsarticle) to prepare your manuscript and BibTeX (http://www.bibtex.org) to generate your bibliography.

All submitted papers will be refereed according to the usual JSC refereeing process. Submission is via EasyChair, and its website will be prepared very soon.

- The introduction of the paper must explicitly address the following
   questions in succinct and informal manner:

      - What is the problem?
      - Why is the problem important?
      - What has been done so far on the problem?
      - What is the main contribution of the paper on the problem?
      - Why is the contribution original? (see below for clarification)
      - Why is the contribution non-trivial?
      - How is the journal paper different from the conference paper.

- Make it complete (since there is no page limit).

      - All the related works and issues must be completely and carefully discussed.
      - All the previous relevant JSC papers must be properly cited and discussed.
      - All the theorem must be rigorously proved (no sketch allowed).
      - All the important definitions/theorems/algorithms must be illustrated by well chosen examples.

- Address all the feedback from the conference's referee process and Q/A session.

*Clarification:*
------------------------------
The results, already published in the conference paper will be still counted as original for the JSC refereeing process.


Steve Linton (ISSAC 2015 General Chair)
Kazuhiro Yokoyama (ISSAC 2015 Program Chair)