---------------------------------------------------------------------- JOURNAL OF SYMBOLIC COMPUTATION First Announcement of Special Issue - ISSAC 2015 Following the 40th International Symposium on Symbolic and Algebraic Computation (ISSAC’15) which was held at The University of Bath, UK, between July 6-9, 2015, 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’15, but this call is open to further submissions close to presentations at ISSAC'15. Potential contributors may contact the guest editors to discuss the suitability of topics and papers, by sending an email to [log in to unmask] *Guest Editors:* ------------------------------ - Steve Linton (University of St Andrews, UK) - Kazuhiro Yokoyama (Rikkyo University, Japan) *Important Dates:* ------------------------------ - Deadline for paper submission: November 20th, 2015. - Notification of acceptance/rejection: April, 2016. - Publication of special issue: Fall 2016. *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=issac2015specialissu. - 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, 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 welcome and encouraged. *Contact:* ------------------------------ Inquiries should be sent to [log in to unmask] Sincerely yours, Steve Linton (ISSAC 2015 General Chair) Kazuhiro Yokoyama (ISSAC 2015 Program Chair) ---------------------------------------------------------------------- ***** You may leave the ISSAC-ANNOUNCE list at any time by sending a "SIGNOFF ISSAC-ANNOUNCE" command to [log in to unmask] or by visiting http://listserv.acm.org/archives/ISSAC-ANNOUNCE.html.