=======
JOURNAL OF SYMBOLIC COMPUTATION
Special Issue - ISSAC 2018
A special issue of Journal of Symbolic Computation will be published
following the
43rd International Symposium on Symbolic and Algebraic Computation
(ISSAC’18) which
was held at the CUNY Graduate Center and Courant Institute of
Mathematical Sciences
of NYU from July 16-19, 2018.
Guest Editors
* Manuel Kauers, Johannes Kepler University Linz, [email protected]
Alexey Ovchinnikov, City University of New York,
[email protected]
Eric Schost, University of Waterloo, [email protected]
Important Dates
* Deadline for paper submission: November 17, 2018.
Submission Guidelines
* We solicit high-quality and original research papers with journal-style
extent of papers related to topics discussed at ISSAC’18. Papers may be
extended versions of ISSAC papers, posters, software demonstrations.
We also accept submissions that are not connected to an ISSAC
publication
but otherwise related to the event. 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://www.math.ncsu.edu/~hong/jsc/JSC_LaTex.zip
to prepare your manuscript to speedup the publication procedure.
* Submission is via EasyChair at the website:
https://easychair.org/conferences/?conf=issac20180
Notice the trailing 0.
* 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.
Clarification:
The results which already appeared in the conference paper
will be still counted as an original result for JSC refereeing
process.
Incorporating additional results, especially inspired by the ISSAC
reviews or by discussions during the conference is strongly
encouraged.
*****
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://mailman.openmath.org/cgi-bin/mailman/listinfo/om-announce
