Sponsored by:


Association for Computing Machinery - SIGSAM
Maplesoft
Maplesoft
The Arctic University of Norway
the Lie-Størmer Center
the Tromsø Research Foundation
the Trond Mohn foundation
the Norwegian Research council

ISSAC 2023

The International Symposium on Symbolic and Algebraic Computation (ISSAC) is the premier conference for research in symbolic computation and computer algebra. ISSAC 2023 will be the 48th meeting in the series, which started in 1966 and has been held annually since 1981. The conference presents a range of invited speakers, tutorials, short communications, software demonstrations and vendor exhibits with a center-piece of contributed research papers.

 

Group Photo

The original group photo can be found here.

 

Satellite Workshops

Category Theory at Work in Computational Mathematics and Theoretical Informatics will be held on June 26-30, 2023 at Bergen, Norway.

The 8th International Workshop on Satisfiability Checking and Symbolic Computation will be held on July 28, 2023 at Tromsø, Norway.

 

Latest News

 

Important dates

Regular papers

Abstract submission deadline: Tuesday, January 24th, 2023, 23:59 (anywhere on Earth)
Extended:Tuesday, January 31st, 2023, 23:59 (anywhere on Earth)
Paper submission deadline: Tuesday, January 31st, 2023, 23:59 (anywhere on Earth)
Extended:Tuesday, February 7th, 2023, 23:59 (anywhere on Earth)
First notification of acceptance/rejection: Tuesday, April 18th, 2023
End of rebuttal phase: Tuesday, April 25th, 2023
Final notification after rebuttal phase: Tuesday, May 2nd, 2023
Camera-ready copy due: Monday, May 22nd, 2023
Extended:Monday, May 29nd, 2023

 

Short communications (posters)

Abstract submission (.pdf) deadline: Monday, May 15th, 2023, 23:59 (anywhere on Earth)
Extended:Thursday, May 18th, 2023, 23:59(anywhere on Earth)
Notification of acceptance/rejection: Monday, May 29th, 2023
Final version (.tex) due: Friday, June 16th, 2023

 

Software presentations

Submission software presentations: Monday, April 17th, 2023, 23:59 (anywhere on Earth)
Extended:Thursday, April 20th, 2023, 11:59 am (anywhere on Earth)
Notification of acceptance/rejection: Friday, May 12th, 2023
Final version due: Friday, June 16th, 2023

 

Conference topics

All areas of computer algebra and symbolic computation are of interest at ISSAC 2023. These include, but are not limited to:

Algorithmic aspects:

Software aspects:

Application aspects:

 

Invited speakers

The conference features three invited talks by the following speakers:

 

Tutorials

The conference will have three tutorials:

Previous editions of ISSAC