ISSAC 2014 Call for Papers

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

                         ISSAC 2014

  International Symposium on Symbolic and Algebraic Computation
                 Kobe University, Japan,  July 23-25, 2014.

                      FIRST CALL FOR PAPERS

           http://www.issac-conference.org/2014

       ABSTRACT SUBMISSION DEADLINE: Sunday, January 12, 2014, 23:59 EST
       FULL PAPER SUBMISSION DEADLINE: Sunday, January 19, 2014, 23:59 EST (no extension)

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

The International Symposium on Symbolic and Algebraic Computation is the premier
conference for research in symbolic computation and computer algebra.
ISSAC 2014 is the 39th meeting in the series. The conference traditionally
presents a range of invited speakers, tutorials, poster sessions and software
demonstrations with a centre-piece of contributed research papers.


ISSAC 2014 is held July 23-25, 2014 at Kobe University, Japan.
Workshops and Tutorial Sessions will be held prior to the conference, between July 21-22, 2014.

ISSAC 2014 is affiliated with "Kobe Computing Week 2014", an event of Academic
Exchange Weeks, Graduate School of Human Development and Environment, Kobe University.
ISSAC 2014 is a satellite conference of ICM 2014 (International Congress of Mathematicians), Korea.
Also, SNC 2014 (Symbolic-Numeric Computation), Shanghai, China, is a satellite conference of ISSAC 2014.

Important Dates:
----------------
Paper Abstract submission:    Sunday, January 12, 2014, 23:59 EST
Full paper submission deadline:    Sunday, January 19, 2014, 23:59 EST (no extension)
Notification of acceptance/rejection:        Sunday, March 30, 2014
Camera-ready copy due:          Wednesday, April 30, 2014

Submission Instructions
-----------------------
ISSAC 2014 invites the submission of original research contributions
to be considered for publication and presentation at the
conference.  Papers should not duplicate work published
or submitted for consideration elsewhere.  Submission is in two stages:
first the abstract is submitted by the abstract deadline, then the associated
paper may be submitted up to the full paper deadline.

Papers must be in English and should not exceed 8 pages in the ACM sig-alternate.cls style,
found at http://www.acm.org/sigs/publications/proceedings-templates.
Submissions in other article styles are also accepted, but the final version must be at most 8
pages when compiled in sig-alternate.cls style
(equivalent to about 17 pages of letter size paper, typeset in 12pt with normal spacing
 and reasonably large margins). Extended abstracts are not allowed.
Papers may have an appendix that may be read by the reviewers and PC
members at their discretion, but will not be included in the published version of the paper.
At least one author of each accepted paper must register for
the conference and present the paper.

Submission is via EasyChair, at the web site
 https://www.easychair.org/conferences/?conf=issac2014

Topics
---------
All areas of computer algebra and symbolic mathematical
computation are of interest. 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
* 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

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.


Conference Organization
-----------------------
General co-Chairs:                     Kosaku Nagasaka    (Kobe University, Japan)
                                                       Franz Winkler    (RISC, Linz, Austria)
Program Committee Chair:       Agnes Szanto    (North Carolina State University, USA)
Proceedings Editors:            Kosaku Nagasaka    (Kobe University, Japan)
                                                       Franz Winkler(RISC, Linz, Austria)
                                                       Agnes Szanto (North Carolina State University, USA)
Local Arrangement Chair:            Kosaku Nagasaka (Kobe University, Japan)
Publicity Chair:                               Ekaterina Shemyakova (State University of New York at New Paltz, USA)
Treasurer:                                        Akira Terui    (University of Tsukuba, Japan)
Poster Chair    :                          Wen-shin Lee (University of Antwerp, Belgium)
Software Exhibits Chair:            Daniel Lichtblau    (Wolfram Research, Inc., USA)
Tutorial Chair                               Tetsu Yamaguchi (Maplesoft, Canada)
Workshop Chair:                         Takuya Kitamoto    (Yamaguchi University, Japan)
Webmaster:                                Masaru Sanuki    (University of Tsukuba, Japan)

Program Committee (preliminary):

Shaoshi Chen (Chinese Academy of Sciences, China)
Carlos D'Andrea (U. Barcelona, Spain)
Wayne Eberly (U. Calgary, Canada)
Ioannis Emiris (U. Athens, Greece)
Jean-Charles Faugere (INRIA, France)
Mark Giesbrecht (U. Waterloo, Canada)
Jonathan Hauenstein (North Carolina State University, USA)
Evelyne Hubert  (INRIA, France)
Alexander Hulpke (Colorado State University, USA)
Gabor Ivanyos (MTA SZTAKI,  Hungary)
Julio Rubio (Universidad de La Rioja, Spain)
Mohab Safey el Din (Univ. Pierre and Marie Curie, France)
Tateaki Sasaki (University of Tsukuba, Japan)
Yosuke Sato (Tokyo U. of Science, Japan)
Josef Schicho (RISC, Austria)
Michael Singer  (North Carolina State University, USA)
Elena Smirnova  (Texas Instruments, USA)
Agnes Szanto (North Carolina State University, USA) Chair
Chee Yap (NYU, USA)
</pre?