ISSAC 2020
The International Symposium on Symbolic and Algebraic Computation (ISSAC) is the premier conference for research in symbolic computation and computer algebra. ISSAC 2020 will be the 45th 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 2020 Covid-19 update (May 2nd)
Due to the COVID-19 pandemic, we will organize ISSAC 2020 as a virtual conference. The real-time part of the symposium will be limited to three hours, starting at 3pm EET (12.00 noon UTC), each day from July 20 to 22. The program will include most of the components of a usual ISSAC meeting. Some presentations (e.g., invited talks) will be fully live and some will go live partially. For instance, the authors of accepted papers will be asked to make their presentations (slides/video) available online before the conference, then the live sessions will bring the authors and the audience together for questions/answers/discussion. This format is designed to give a chance to ISSAC participants in all time zones to get the most out of this meeting.
Latest News
- 27/7/20: Proceedings are online at ACM DL
- 16/7/20: Participants guide is online
- 15/7/20: registration is closed
- 02/6/20: registration is open
- 30/6/20: the program was updated
- 29/6/20: the list of accepted software demonstration is online
- 29/6/20: the list of accepted posters is online
- 29/6/20: the registration will open on Thrusday, July 2nd
- 25/6/20: program and authors instructions are online
- 3/6/20: Second Call for Software Demonstrations, and second Call for Poster/Short Communications were sent
- 11/5/20: Call for Software Demonstrations and Posters/Short Communications was sent
- 2/5/20: ISSAC 2020 will be a virtual conference
- 23/1/20: Third call for papers was sent
- 8/1/20: Second call for papers was sent
- 3/10/19: First call for papers was sent
Important dates
Conference
| ISSAC conference: |
Regular papers
| Abstract submission: | Friday, January 31st, 2020 (anywhere on earth) |
| Paper submission: | Friday, February 7th, 2020 (anywhere on earth) |
| Notification of acceptance/rejection: | |
| Camera-ready copy due: |
Software presentations/Poster Presentations
| Submission: | June 10th, 2020 (anywhere on earth) |
| Notification of decision | July 1st, 2020 (anywhere on earth) |
| Final presentations uploaded | July 10st, 2020 |
Registration
| No conference fees | |
| Deadline for registration: | July 15th, 2020 (11:45PM Greek local time = UTC+3) |
Conference topics
All areas of computer algebra and symbolic computation are of
interest at ISSAC 2020. 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.