====================================================
JOURNAL OF SYMBOLIC COMPUTATION

First Announcement of Special Issue - ISSAC 2017

http://polsys.lip6.fr/~safey/JSC-ISSAC17-SPECIALISSUE.txt

Following the 42nd International Symposium on Symbolic and Algebraic
Computation 2017 which was held at The University of Kaiserslautern,
Germany, between July 25-28, 2017, 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 softwares)
presented at ISSAC 2017, but this call is open to further submissions
close to presentations at ISSAC 2017.

Potential contributors may contact the guest editors to discuss the
suitability of topics and papers, by sending an email to
mohab.safey@lip6.fr
yap@cs.nyu.edu

*Guest Editors:*
------------------------------
- Mohab Safey El Din  (University Pierre and Marie Curie, France)
- Chee Yap (New York University, USA)

*Important Dates:*
------------------------------
- Deadline for paper submission: Dec. 1 2017
- Notification of acceptance/rejection:  Summer 2018.


*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, at the website
https://easychair.org/conferences/?conf=jscissac17.

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.

The paper must be _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, already published in the conference paper will be still
counted as an original result for JSC refereeing process.

*Recommendation:*
------------------------------
Incorporating additional results, especially inspired by
the ISSAC reviews or by discussions during the conference
is strongly encouraged.

Sincerely yours,

Mohab Safey El Din (ISSAC 2017 Program Chair)
Chee Yap (ISSAC 2017 General Chair)
========================================================