ISSAC 2019

The International Symposium on Symbolic and Algebraic Computation (ISSAC) 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 speakers, tutorials, poster sessions, software demonstrations and vendor exhibits with a center-piece of contributed research papers.

ISSAC 2019 will be held on 15-18 July 2019, at Beihang University, Beijing, China

Click here for a pdf of the ISSAC 2019 Poster.

Important dates

Conference

ISSAC conference:

15-18 July, 2019

Regular papers

*Abstract submission^:**	~~Sunday 13th January, 2019~~ Extended: Sunday 20th January, 2019
Paper submission^:**	~~Sunday 20th January, 2019~~ Extended: Sunday 27th January, 2019
Notification of acceptance/rejection:	Wednesday 3rd April, 2019
Camera-ready copy due:	Friday 10th May, 2019

The Final Call for Papers has been made.
Submission is via Easychair: https://www.easychair.org/conferences/?conf=issac2019
For further details see the Submission Guidelines

Conference topics

All areas of computer algebra and symbolic computation are of interest at ISSAC 2019. 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, quantifier elimination and logic
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
Use with systems for, e.g., digital libraries, courseware, simulation and optimization, automated theorem-proving, computer-aided design, and automatic differentiation.

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

The conference features three invited talks by the following speakers:

Bill Chen, Nankai University, Tianjin, China.
Lorenzo Robbiano, University of Genova, Genova, Italy.
Virginia Vassilevska Williams, MIT, USA.

Tutorials

The conference will have three tutorials:

Shaoshi Chen, Chinese Academy of Sciences, China.
Satoshi Aoki, Kobe University, Japan.
Third tutorial speaker to be confirmed.

ISSAC

International Symposium on Symbolic and Algebraic Computation