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: [email protected], [email protected]

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 [email protected] or by visiting 
http://listserv.acm.org/archives/ISSAC-ANNOUNCE.html.
_______________________________________________
Om-announce mailing list
[email protected]
http://openmath.org/mailman/listinfo/om-announce

Reply via email to