ISSAC 2016

The International Symposium on Symbolic and Algebraic Computation (ISSAC) is the premier conference for research in symbolic computation and computer algebra. ISSAC 2016 will be the 41st 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 2016 was held on July 20-22, 2016, at Wilfrid Laurier University, Waterloo, Ontario, Canada.

Latest News

Tweets by @ISSAC_SYMPOSIUM

Important dates

Conference

Tutorials:	Tuesday, July 19th (2016)
Main conference:	Wednesday, July 20th - Friday, July 22nd (2016)

Regular papers

*Abstract submission^:**	~~Friday, January 15th (2016)~~ Extended: Monday, January 25th (2016)
Paper submission^:**	~~Friday, January 22nd (2016)~~ Extended: Sunday, January 31st (2016)
Notification of acceptance/rejection:	~~Thursday, March 31st (2016)~~ Extended: Wednesday, April 6th (2016)
Camera-ready copy due:	~~Tuesday, April 26th (2016)~~ Extended: Saturday, April 30th (2016)

Software Presentations

Extended Abstract submission:	~~Friday, May 13th (2016)~~ Extended: Friday, May 20th (2016)
Notification of acceptance/rejection:	Friday, June 3rd (2016)
Final version of extended abstract due:	Friday, June 24th (2016)

Poster Presentations

Extended Abstract submission:	~~Monday, May 16th (2016)~~ Extended: Monday, May 23rd (2016)
Notification of acceptance/rejection:	Monday, June 6th (2016)
Final version of extended abstract due:	Friday, June 24th (2016)

^* 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.

Conference topics

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

Ioannis Z. Emiris, University of Athens;
J. Ian Munro, University of Waterloo;
Carsten Schneider, RISC, Johannes Kepler University.

Tutorials

The conference features three tutorial sessions on Tuesday, July 19th (2016):

Clemens G. Raab, RICAM, Austrian Academy of Sciences;
Daniel Robertz, Plymouth University, United Kingdom;
Georg Regensburger, RICAM, Austrian Academy of Sciences.

Satellite Workshops/Conferences

The conference Milestones in Computer Algebra (MICA 2016), celebrating the achievements of Erich Kaltofen, will be held on July 16th-18th 2016 (prior to ISSAC'16) at the University of Waterloo.

The Waterloo Workshop on Computer Algebra (WWCA 2016), devoted to the 70th birthday of Sergei Abramov, will be held on July 23rd-24th 2016 (right after ISSAC'16) at the Wilfrid Laurier University.

ISSAC

International Symposium on Symbolic and Algebraic Computation

Sponsored by: