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(a)GMAIL.COM>
Reply-To: Matthew England <m.england.uni(a)GMAIL.COM>
To: SIGSAM-MEMBERS(a)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.
