ISSAC 2015

The International Symposium on Symbolic and Algebraic Computation (ISSAC) is the premier conference for research in symbolic computation and computer algebra. ISSAC 2015 will be the 40th 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 2015 was held on 6-9 July 2015 at The University of Bath, Bath, UK.

Proceedings

The ISSAC Proceedings this year include 43 contributed papers selected by the program committee, as well as invited contributions by our 3 invited speakers and 3 tutors. The Proceedings have been uploaded to the ACM Digital Library at this link. The extended abstracts from the ISSAC software demonstrations and poster session will be published in later issues of ACM Communications in Computer Algebra.

Message from the organisers

Thank you for attending and participating in ISSAC 2015. Speakers who would like their slides hosted on the Papers Page can do so by emailing the Webmaster. The Group Picture from the conference banquet is available here.

Latest News

♦ 2015/11 Deadline extension announced for the JSC Special Issue. New deadline for submission is 7th December 2015.
♦ 2015/09 The First Call for the JSC Special Issue has been made. More details on the JSC Page.
♦ 2015/08 ISSAC 2015 is over. At the business meeting Kaiserslautern, Germany won the bid to host ISSAC 2017.
ISSAC 2016 will be held in Waterloo, Ontario, Canada, July 20-22 2016.
♦ 2015/07 The Preliminary Call for the JSC Special Issue has been made. More details on the JSC Page.
♦ 2015/07 Online registration has closed. It will be possible to register on site.
♦ 2015/06 The Proceedings have been uploaded to the ACM Digital Library at this link.
♦ 2015/06 The Program has now been announced. Details on the Program Page.
♦ 2015/06 The Second Call for Participation has been made.
♦ 2015/06 The accepted Poster Presentations and Software Demonstrations have been announced.
♦ 2015/05 The First Call for Participation has been made.
♦ 2015/05 ISSAC 2015 Online Registration has opened. Details on the Registration Page.
♦ 2015/05 The LMS have provided some support for attendance at ISSAC 2015. Details are on the Support Page.
♦ 2015/05 The list of accepted papers is announced.
♦ 2015/04 The Second Calls for Poster Presentations and Software Presentations have been made.
♦ 2015/04 The titles and abstracts of the three invited speakers have been confirmed. See The Invited Talks Page.
♦ 2015/03 The First Call for Poster Presentations has been made.
♦ 2015/03 The Call for Software Presentations has been made.
♦ 2015/03 All members of the organising committee have been confirmed. See The Committees Page.
♦ 2015/01 The three tutorial speakers have been confirmed. See The Tutorials Page.
♦ 2015/01 Deadline for paper submission extended by a week. Announcement.
♦ 2014/12 Third Call for Papers made.
♦ 2014/12 Details of the ISSAC 2015 Paper Review Process have been published.
♦ 2014/11 Second Call for Papers made.
♦ 2014/11 The three invited speakers have been confirmed. See The Invited Talks Page.
♦ 2014/10 First Call for Papers made.
♦ 2014/10 The Program Committee has been announced. See The Committees Page.

Important dates

Conference

Tutorial Day: Monday 6th July 2015
Main conference: Tuesday 7th - Thursday 9th July 2015
PASCO Workshop: (Website) Friday 10th - Saturday 11th July 2015

Regular papers

Abstract submission: 5th January 2015
Extended: Monday 12th January 2015, 23:59 EST
Paper submission: 12th January 2015
Extended:
Monday 19th January 2015, 23:59 EST
Notification of acceptance/rejection: Friday 27th March 2015
Camera-ready copy due: Monday 27th April 2015

Software Presentations

Extended Abstract submission: Friday 8th May 2015
Notification of acceptance/rejection: Friday 22nd May 2015
Final version of extended abstract due: Friday 12th June 2015

Poster Presentations

Extended Abstract submission: Friday 8th May 2015
Notification of acceptance/rejection: Friday 22nd May 2015
Final version of extended abstract due: Friday 12th June 2015

Conference topics

All areas of computer algebra and symbolic computation are of interest at ISSAC 2015. 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 features three tutorial sessions on Monday 6th July 2015:

Satellite workshops

The workshop Parallel Symbolic Computation (PASCO) will take place in Bath immediately following ISSAC on 10-11 July 2015.

Previous editions of ISSAC