[Om-announce] [ISSAC-ANNOUNCE] JSC Special Issue -- ISSAC 2016

[aheinle at UWATERLOO.CA]

JOURNAL OF SYMBOLIC COMPUTATION
Special Issue - ISSAC 2016

A special issue of Journal of Symbolic Computation will be published
following the 41th International Symposium on Symbolic and Algebraic
Computation (ISSAC¡¯16) which was held at Wilfrid Laurier University,
Waterloo, Ontario, Canada during July 20-22, 2016.

Guest Editors
  * Xiao-Shan Gao
    Academy of Mathematics and Systems Science, Chinese Academy of Sciences
    Email: xgao at mmrc.iss.ac.cn, issac2016jsc at easychair.org

Important Dates
  * Deadline for paper submission: November 30, 2016.
  * Notification of acceptance/rejection: May 31, 2017.
  * Publication of special issue: Fall 2017.

Submission Guidelines

* We solicit high-quality and original research papers with journal-style
   extent of papers presented at ISSAC¡¯16. All submitted papers will  
be refereed
   according to the usual JSC refereeing process.

* You are recommended to use the latex style file and template from
    http://www4.ncsu.edu/~hong/jsc/JSC_LaTex_2016_August_05.zip
    to prepare your manuscript to speedup the publication procedure.

* Submission is via EasyChair at the website:
   https://easychair.org/conferences/?conf=issac2016jsc

* 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:
    - 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.

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

*****
You may leave the ISSAC-ANNOUNCE list at any time by sending a "SIGNOFF ISSAC-ANNOUNCE" command to LISTSERV at LISTSERV.ACM.ORG or by visiting http://listserv.acm.org/archives/ISSAC-ANNOUNCE.html.