[Om-announce] [ISSAC-ANNOUNCE] ISSAC 2019: Second Call for Papers

[Matthew England]

----------------------------------------------------------------------

                         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.

*****
You may leave the ISSAC-ANNOUNCE list at any time by sending a "SIGNOFF ISSAC-ANNOUNCE" command to LISTSERV at LISTSERV.ACM.ORG or by visiting http://listserv.acm.org/archives/ISSAC-ANNOUNCE.html.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.openmath.org/pipermail/om-announce/attachments/20181206/368d69ce/attachment-0001.html>