[Om-announce] [ISSAC-ANNOUNCE] ISSAC 2015 FIRST CALL FOR PAPERS

[Kazuhiro Yokoyama]

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

                         ISSAC 2015

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

                      FIRST CALL FOR PAPERS

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


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

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. The conference
presents a range of invited speakers, tutorials, poster sessions, software
demonstrations and vendor exhibits with a centerpiece of contributed
research papers.

ISSAC 2015 is held on 6-9 July 2014 at The University of Bath, UK.
Tutorial Sessions will be held on 6 July 2015 and the PASCO Workshop
will take place in Bath immediately following ISSAC on 11-13 July 2015.

Indicative Dates: (Final dates will be announced in the second CFP)
----------------
Paper submission:                  Early January, 2015
Notification of acceptance/rejection:     Mid  March, 2015
Camera-ready copy due:                   Mid April, 2015

Submission Instructions
-----------------------
ISSAC 2015 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.

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=issac2015

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 Chair: Steve Linton (University of St Andrews, UK)
Program Committee Chair: Kazuhiro Yokoyama (Rikkyo University, Japan)
Local Arrangement Chair: James Davenport  (University of Bath, UK)
Treasurer: Russell Bradford (University of Bath, UK)
Webmaster: Matthew England (University of Bath, UK)

Program Committee

John Abbott (Universita of Genova, Italy)
Xiao-Shan Gao (Chinese Academy of Sciences, China)
Vladimir Gerdt (Joint Institute for Nuclear Research, Russia)
Grégoire Lecerf (CNRS, France)
Viktor Levandovskyy (Aachen University, Germany)
Ziming Li (Chinese Academy of Sciences, China)
Marc Moreno Maza (University of Western Ontario, Canada)
Guénaël Renault (Université Pierre et Marie Curie, France)
Colva M. Roney-Dougal (University of St Andrews, UK)
Markus Rosenkranz (University of Kent, UK)
Siegfried M. Rump (Hamburg University of Technology, Germany)
David Saunders (University of Delaware, USA)
Carsten Schneider (RISC, Austria)
J. Rafael Sendra (University of Alcalá, Spain)
Thomas Sturm (Max Planck Institute for Informatics, Germany)
Agnes Szanto (North Carolina State University, USA)
Nobuki Takayama (Kobe University, Japan)
Jan Verschelde (University of Illinois at Chicago, USA)
Stephen M. Watt (University of Western Ontario, Canada)
Kazuhiro Yokoyama (Rikkyo University, Japan) 

*****
You may leave the ISSAC-ANNOUNCE list at any time by sending a "SIGNOFF ISSAC-ANNOUNCE" command to LISTSERV at LISTSERV.ACM.ORG or by visiting http://listserv.acm.org/archives/ISSAC-ANNOUNCE.html.