===================================================

Second Call for Software Presentations

ISSAC 2015

International Symposium on Symbolic and Algebraic Computation
The University of Bath, Bath, UK, 6-9 July 2015
http://www.issac-conference.org/2015/

===================================================

ISSAC, the International Symposium on Symbolic and Algebraic
Computation, is the premier annual gathering of the Symbolic
Mathematical Computation community to present and discuss new
developments and original research results in symbolic and algebraic
computation.

Software developers are invited to present new software for solving
problems in symbolic and algebraic computation at ISSAC 2015.
Presenters will be given 15 minutes to demonstrate their
software to participants in a special session for software
presentations. There will be 5 additional minutes between
presentations for setup.

Please submit an extended abstract in PDF format describing your
software and what you will present at ISSAC by email at

   software2015@issac-symposium.org

Please include in the subject heading ISSAC 2015 Software Presentation.
Please include a valid URL or contact address for obtaining
the software packages and documentation.  The extended abstracts should 
be at most 4 pages when prepared using the CCA style files available from: 

   http://www.sigsam.org/cca/

Abstracts will be evaluated based on content, novelty, originality,
importance and the potential value of the software to the
community. Please identify in your extended abstract what is new
in your proposed ISSAC 2015 software presentation. If you are
also submitting a related paper at ISSAC 2015, please identify,
in your email, the differences between the two submissions.
You may also present your software as a poster.

Extended abstracts of accepted software presentations will be printed 
in an issue of the ACM SIGSAM Communications in Computer Algebra.  

Topics
------

Software presentations can be on any topic mentioned in the Call for
Papers of ISSAC 2015 which include but are not restricted to the
following areas:

  * Algorithmic Mathematics: Algebraic, Symbolic and
    Symbolic-Numeric Algorithms.

  * Computer Science: Theoretical and practical problems in
    Symbolic Computation.

  * Applications: Of Symbolic or Symbolic-Numeric algorithms in novel or
    essential ways, in Education, The Sciences, Engineering, or Business.

    
Important Dates
---------------

  Abstract submission (.pdf)                    May 8, 2015 
  Notification of acceptance/rejection          May 22, 2015
  Final version (.tex) due                      June 12, 2015 

Software Presentations committee
--------------------------------

Francois Boulier (University of Lille, France)
Anton Leykin (Georgia Tech, USA)
Bernard Mourrain (Inria, Sophia Antipolis Méditerranée, France, Chair)