Call for Papers: Journal of Symbolic Computation Special Issue 
on the theme of the Milestones in Computer Algebra (MICA 2016) workshop

======= Deadline extended: July 1 2018 =======

Due to several requests, the submission deadline has been extended up to 
July 1 2018. However, we will follow the original schedule to have the 
special issue ready in the fall. So we encourage you not to wait till the 
(extended) deadline. In case there are (late) submissions whose review 
procedures cannot be completed in time, we may forward them to the normal 
JSC issues.

 
Following the success of the Milestones in Computer Algebra (MICA 2016) 
workshop (https://cs.uwaterloo.ca/conferences/mica2016/), as well as the 
discussions and developments afterwards, we are soliciting papers for a 
special issue of the Journal of Symbolic Computation on the theme of the 
conference.
 
======= Issue scope =======
 
This invitation is extended to any researcher interested in the theme of 
MICA 2016, which includes but is not limited to:
 
 -- Hybrid symbolic-numeric computation
 -- Exact linear algebra
 -- Algebraic complexity
 -- Polynomial factorization
 -- Sparse interpolation
 
The MICA 2016 acknowledged the research achievements of Erich L. Kaltofen 
(North Carolina State University, USA), who has played a crucial role in 
the formation and development of many of the key computer algebra 
sub-disciplines presented in the workshop.
                                                                  
======= Important dates (extended) =======
 
 -- Papers (in pdf format) must be submitted by email to 
    mica2016workshop@gmail.com before July 1 2018.
 -- To facilitate a timely referee procedure, we would appreciate an email 
    or a letter of intent to submit a paper (including author information, 
    tentative title and abstract, estimated page number, etc.) as early as 
    possible.  
 -- Notification: Summer 2018 (expected).

======= Submission guideline =======
 
 -- Please prepare your paper by using the JSC style files, which can be
    obtained from http://www.math.ncsu.edu/~hong/jsc/JSC_LaTex.zip . 
 -- Submitted papers should follow the guideline (see the instruction at 
    the end).
 -- All the papers will be refereed according to the JSC standards.
 
======= Guest editors =======
 
Shaoshi Chen (Chinese Academy of Sciences, China)
Wen-shin Lee (University of Antwerp, Belgium)
Arne Storjohann (University of Waterloo, Canada) 
Lihong Zhi (Chinese Academy of Sciences, China)
 
======= Instruction 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?
 -- Why is the contribution non-trivial?
 
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.
 
More information: 
 -- See the "Guide for Authors" 
https://www.elsevier.com/journals/journal-of-symbolic-computation/0747-7171/guide-for-authors .