----------------------------------------------------------------------
ISSAC 2015
International Symposium on Symbolic and Algebraic Computation
The University of Bath, UK, 6-9 July 2015.
SECOND 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 will be held on 6-9 July 2015 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 10-12 July 2015.
Important Dates:
----------------
Paper abstract submission: Monday, January 5, 2015
Full paper submission: Monday, January 12, 2015
Notification of acceptance/rejection: Friday, March 20, 2015
Camera-ready copy due: Monday, April 20, 2015 (TBC)
Invited Speakers:
---------------------
Erika Ábrahám (RWTH Aachen University, Germany)
Éric Schost (University of Western Ontario, Canada)
Lihong Zhi (Chinese Academy of Sciences, China)
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. 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=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)
Tutorial Chair: Mohab Safey El Din (Université Pierre et Marie Curie,
France)
Treasurer: Russell Bradford (University of Bath, UK)
Webmaster and Exhibition Chair*: Matthew England (University of Bath, UK)
(* Exhibition Chair will take charge of commercial exhibitions.)
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.