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