ISSAC

International Symposium on Symbolic and Algebraic Computation

• Home
• Registration
• Program
• Invited
• Papers
• Tutorials
• Posters
• Software
• Support
• Committees
• Local Info
• JSC Issue
• Awards

Sponsored by:

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

♦ 2016/07	Some photos from ISSAC 2015 have been uploaded here.
♦ 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 topics

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

• Erika Ábrahám (RWTH Aachen University, Germany);
• Éric Schost (University of Western Ontario, Canada);
• Lihong Zhi (MMRC, Chinese Academy of Sciences, China).

Tutorials

The conference features three tutorial sessions on Monday 6th July 2015:

• Ankur Moitra, MIT, USA;
• Clément Pernet, Grenoble, France;
• Veronika Pillwein, RISC-Linz, Austria.

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

• ISSAC 2014, Kobe, Japan
• ISSAC 2013, Boston, Massachusetts, USA
• ISSAC 2012, Grenoble, France
• ISSAC 2011, San Jose, California, USA
• ISSAC 2010, Munich, Germany
• ISSAC 2009, Seoul, Korea
• ISSAC 2008, Linz, Austria
• ISSAC 2007, Waterloo, Canada
• All past editions