<div dir="ltr"><div dir="ltr"><div>----------------------------------------------------------------------</div><div><br></div><div> ISSAC 2019</div><div><br></div><div> International Symposium on Symbolic and Algebraic Computation</div><div> July 15-18 2019</div><div> Beihang University, Beijing, China</div><div><span style="white-space:pre"> </span> </div><div> FIRST CALL FOR PAPERS</div><div><br></div><div> <a href="http://issac.hosting.acm.org/2019/index.php">http://issac.hosting.acm.org/2019/index.php</a></div><div><br></div><div>----------------------------------------------------------------------</div><div><br></div><div>The International Symposium on Symbolic and Algebraic Computation is</div><div>the premier conference for research in symbolic computation and</div><div>computer algebra. ISSAC 2019 will be the 44th meeting in the series,</div><div>which started in 1966 and has been held annually since 1981. The</div><div>conference presents a range of invited talks, tutorials, poster</div><div>sessions, software demonstrations and vendor exhibits with a</div><div>centerpiece of contributed research papers.</div><div><br></div><div>ISSAC 2019 is held on July 15-18 2019, at Beihang University in</div><div>Beijing, China.</div><div><br></div><div>Important Dates</div><div>---------------</div><div>Abstract submission: January 13, 2019, 23.59 aoe</div><div>Paper submission: January 20, 2019, 23.59 aoe</div><div>Notification of acceptance/rejection: April 03, 2019</div><div>Camera-ready copy due: May 10, 2019</div><div><br></div><div>Abstract and paper submission deadlines are likely to be extended</div><div>by one week. </div><div><br></div><div>Submission Instructions</div><div>-----------------------</div><div>ISSAC 2019 invites submission of original research contributions</div><div>to be considered for publication and presentation at the conference.</div><div>Papers should not duplicate work published or submitted for</div><div>consideration elsewhere.</div><div><br></div><div>Papers must be in English and should not exceed 8 pages in the ACM</div><div>sig-alternate.cls style, found at</div><div><a href="http://www.acm.org/publications/proceedings-template">http://www.acm.org/publications/proceedings-template</a></div><div><br></div><div>Submissions in other article styles are also accepted, but the final</div><div>version must be at most 8 pages when compiled in sig-alternate.cls</div><div>style (equivalent to about 17 pages of letter size paper, typeset in</div><div>12pt with normal spacing and reasonably large margins). Extended</div><div>abstracts are not allowed. Papers may have an appendix that may be</div><div>read by the reviewers and PC members at their discretion, but will</div><div>not be included in the published version of the paper.</div><div><br></div><div>Submission is via EasyChair, at the web site</div><div><a href="https://www.easychair.org/conferences/?conf=issac2019">https://www.easychair.org/conferences/?conf=issac2019</a></div><div><br></div><div>Topics</div><div>------</div><div>All areas of computer algebra and symbolic mathematical computation</div><div>are of interest. These include, but are not limited to:</div><div><br></div><div>Algorithmic aspects:</div><div><br></div><div>* Exact and symbolic linear, polynomial and differential algebra</div><div>* Symbolic-numeric, homotopy, perturbation and series methods</div><div>* Computational algebraic geometry, group theory and number theory</div><div>* Computer arithmetic</div><div>* Summation, recurrence equations, integration, solution of ODEs & PDEs</div><div>* Symbolic methods in other areas of pure and applied mathematics</div><div>* Complexity of algebraic algorithms and algebraic complexity</div><div><br></div><div>Software aspects:</div><div><br></div><div>* Design of symbolic computation packages and systems</div><div>* Language design and type systems for symbolic computation</div><div>* Data representation</div><div>* Considerations for modern hardware</div><div>* Algorithm implementation and performance tuning</div><div>* Mathematical user interfaces</div><div><br></div><div>Application aspects:</div><div><br></div><div>* Applications that stretch the current limits of computer algebra</div><div> algorithms or systems, use computer algebra in new areas or new</div><div> ways, or apply it in situations with broad impact.</div><div><br></div><div>Invited Speakers</div><div>----------------</div><div><br></div><div>* Bill Chen, Nankai University, Tianjin, China</div><div>* Lorenzo Robbiano, University of Genova, Genova, Italy</div><div>* Virginia Vassilevska Williams, MIT, USA</div><div><br></div><div>Conference Organization</div><div>-----------------------</div><div><br></div><div>General Chairs:</div><div><br></div><div>* James Davenport, University of Bath, UK</div><div>* Dongming Wang, Beihang University, China;</div><div> Guangxi University for Nationalities, China;</div><div><span style="white-space:pre"> </span> Centre National de la Recherche Scientifique, France</div><div><span style="white-space:pre"> </span> </div><div>Program Committee Chair:</div><div><br></div><div>* Manuel Kauers, Johannes Kepler University, Linz, Austria</div><div><br></div><div>Program Committee</div><div>-----------------</div><div>Alin Bostan, Inria Sacley, France</div><div>Christopher Brown, Naval Academy, USA</div><div>Changbo Chen, Chinese Academy of Sciences, China</div><div>Mark Giesbrecht, University of Waterloo, Canada</div><div>Bill Hart, University of Kaiserslautern, Germany</div><div>Jonathan Hauenstein, University of Notre Dame, USA</div><div>Mark van Hoeij, Florida State University, USA</div><div>Manuel Kauers (chair), Johannes Kepler University, Austria</div><div>Erich Kaltofen, North Carolina State University and Duke University, USA</div><div>Marc Mezzarobba, University Pierre et Marie Curie, France</div><div>Veronika Pillwein, Johannes Kepler University, Austria</div><div>Gleb Pogudin, New York University, USA</div><div>Eric Schost, University of Waterloo, Canada</div><div>Jean-Pierre Spaenlehauer, Inria Nancy, France</div><div>Nobuki Takayama, Kobe University, Japan</div><div>Gilles Villard, CNRS Lyon, France</div><div>Dingkang Wang, Chinese Academy of Sciences, China</div><div>Bican Xia, Peking University, China</div><div>Katsuhiro Yokoyama, Rikkyo University, Japan</div><div>Lihong Zhi, Chinese Academy of Sciences, China</div><div><br></div><div>Authors take Note</div><div>-----------------</div><div>The official publication date is the date the proceedings are made</div><div>available in the ACM Digital Library. This date may be up to two weeks</div><div>prior to the first day of the conference. The official publication</div><div>date affects the deadline for any patent filings related to published</div><div>work.</div><div><br></div></div></div>
*****
You may leave the ISSAC-ANNOUNCE list at any time by sending a "SIGNOFF ISSAC-ANNOUNCE" command to <a href="mailto:LISTSERV@LISTSERV.ACM.ORG">LISTSERV@LISTSERV.ACM.ORG</a> or by visiting <a href="http://listserv.acm.org/archives/ISSAC-ANNOUNCE.html" target="_blank">http://listserv.acm.org/archives/ISSAC-ANNOUNCE.html</a>.