ISSAC 2018

The International Symposium on Symbolic and Algebraic Computation (ISSAC) is the premier conference for research in symbolic computation and computer algebra. ISSAC 2018 will be the 43rd 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 2018 will be held on July 16-19, 2018, at the CUNY Graduate Center and Courant Institute/NYU, New York, USA.

Latest News

Tweets by @ISSAC_SYMPOSIUM

Important dates

Conference

ISSAC conference:	July 16-19, 2018
Tutorials:	July 16, 2018
Early registration:	June 4, 2018

Regular papers

*Abstract submission^:**	~~January 22, 2018~~ Extended: January 29th, 2018
Paper submission^:**	~~January 29, 2018~~ Extended: February 5th, 2018
Notification of acceptance/rejection:	April 13, 2018
Camera-ready copy due:	May 7, 2018

Software Presentations

Extended Abstract submission^:*	May 1, 2018
Notification of acceptance/rejection:	May 31, 2018
Final version of extended abstract due:	June 14, 2018

Poster Presentations

Extended Abstract submission^:*	May 1, 2018
Notification of acceptance/rejection:	May 31, 2018
Final version of extended abstract due:	June 14, 2018

^* Papers and abstracts have to be submitted via easychair (https://www.easychair.org/conferences/?conf=issac2018), see Submission guidelines. The website for the abstract submission and the paper submission is the same, i.e. you will not find a distinct area for the abstract submission. You can submit your abstract first, and then override your submission with the full paper. It is to be remarked that you do not need to first submit an abstract prior to the paper if your paper is ready by the abstract submission deadline. The abstract submission possibility serves the purpose to provide authors with more time to complete their papers while the program committee can begin to find suitable reviewers based on the overview they obtain from the abstracts.
^** You need to submit an abstract by the abstract submission deadline if your full paper is not completed by the abstract submission deadline.
^*** Abstracts have to be submitted via easychair, see Submission guidelines.

Conference topics

All areas of computer algebra and symbolic computation are of interest at ISSAC 2018. 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:

Micha Sharir, Tel Aviv University, Israel.
Andrew Sommese, University of Notre Dame, USA.
Thomas Sturm, CNRS, France; Max Planck Institute Informatics and Saarland University, Germany.

Tutorials

The conference features three tutorial sessions, by the following speakers:

Shivkumar Chandrasekaran, University of California Santa Barbara, USA
Steve Linton, University of St Andrews, UK
Daniel Roche, US Naval Academy, USA

Tutorials are co-organized together with Courant Institute/NYU.

Satellite Workshops/Conferences

Workshop on Symbolic-Numeric Methods for Differential Equations and Applications will be held on July 20 2018 (right after ISSAC'18) at the Courant Institute (New York University).

ISSAC

International Symposium on Symbolic and Algebraic Computation

Sponsored by: