-------------------------------------------------------------

			ISSAC 2015

International Symposium on Symbolic and Algebraic Computation
	University of Bath, Bath, UK, 6-9 July, 2015

		   SECOND CALL FOR PARTICIPATION 

					Online Registration:
     http://www.issac-conference.org/2015/registration.html
     	(Additional campus accommodation now available)

-------------------------------------------------------------

The International Symposium on Symbolic and Algebraic Computation 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. ISSAC 2015 will be held on 6-9 July 2015 at the University of Bath, UK.  It will include invited speakers, tutorials, poster sessions, software, demonstrations and vendor exhibits with a centerpiece of contributed research papers.  Additionally, the PASCO Workshop will take place in Bath immediately following ISSAC on 10-12 July 2015.


Call for Participation:
-----------------------

Online registration is now open.  For details on fees, accommodation and to register online please visit
	http://www.issac-conference.org/2015/registration.html
In order to guarantee printed proceedings, discounted accommodation and a place at the social please register before June 15th 2015.  As usual, discounts are available for students and SIGSAM members.  

Update: Additional campus accommodation is now available to book as part of the online registration process.


Accepted Papers:
----------------
The program committee have accepted 43 papers as listed here:
   http://www.issac-conference.org/2015/papers.html


Invited Speakers:
-----------------

- Erika Ábrahám: Building Bridges between Symbolic Computation and Satisfiability Checking
- Éric Schost: Algorithms for finite fields arithmetic
- Lihong Zhi: Optimization Problems over Noncompact Semialgebraic Sets

Abstracts are available here:
   http://www.issac-conference.org/2015/invited.html


Tutorials:
-----------------

- Ankur Moitra: Nonnegative Matrix Factorization: Algorithms, Complexity and Applications
- Clement Pernet: Exact Linear Algebra Algorithmic: Theory and Practice
- Veronika Pillwein: An introduction to finite element methods

Tutorials take place on Monday 6th July.  Abstracts are available here:
   http://www.issac-conference.org/2015/tutorials.html


Posters and Software Presentations:
-----------------------------------
Accepted poster presentations and software demonstrations are listed here:
http://www.issac-symposium.org/2015/posters.html
http://www.issac-symposium.org/2015/software.html


PASCO:
----------
The 7th International Workshop on Parallel Symbolic Computation (PASCO) will take place immediately following ISSAC.  It requires separate registration but participants at both conferences can book combined accommodation during ISSAC registration.  For more details on PASCO see:
   http://pasco2015.imag.fr/


Sponsors:
---------
ISSAC 2015 is sponsored by the London Mathematical Society, Maplesoft and ACM SIGSAM.


We are looking forward to seeing you in Bath.