----------------------------------------------------------------------
ISSAC 2018
International Symposium on Symbolic and Algebraic Computation
July 16-19 2018
The CUNY Graduate Center, New York, USA
SECOND CALL FOR PAPERS
http://www.issac-conference.org/2018
----------------------------------------------------------------------
The International Symposium on Symbolic and Algebraic Computation is
the premier conference for research in symbolic computation and
computer algebra. ISSAC 2018 will be the 43rd 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 2018 is held on July 16-19 2018, at the CUNY Graduate Center,
New York, USA.
Important Dates:
----------------
Abstract submission: January 22, 2018
Paper submission: January 29, 2018
Notification of acceptance/rejection: April 13, 2018
Camera-ready copy due: May 07, 2018
Invited Speakers
----------------
Micha Sharir, Tel Aviv University, Israel
Thomas Sturm, CNRS Nancy, France, Max Planck Institute Saarbrueken and
Saarland University, Germany
Andrew Sommese, University of Notre Dame, USA
Travel Grants
-------------
A limited number of travel grants will be available for junior
participants who are from US-based institutions or who are US
citizens. Information on how to apply for travel support will
be made available on the conference website.
Submission Instructions
-----------------------
ISSAC 2018 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
conference proceedings style. Note that ACM has recently updated its
style files. See the submission guidelines on the conference website
for further details.
Submissions in other article styles are also accepted, but the final
version must be at most 8 pages when compiled with the ACM style file
(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.
Submission is via EasyChair, at the web site
https://www.easychair.org/conferences/?conf=issac2018
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.
Special Issue of Journal of Symbolic Computation
------------------------------------------------
A special issue of Journal of Symbolic Computation will be published
following ISSAC 2018. Guest Editors will be Manuel Kauers, Alexey
Ovchinnikov and Éric Schost. All submitted papers will be refereed
according to the usual JSC refereeing process. The call for papers for
this special issue will give details of the submission process.
Conference Organization
-----------------------
General Chairs: Manuel Kauers, Johannes Kepler University, Austria
Alexey Ovchinnikov, City University of New York, USA
Program Committee Chair: Éric Schost, University of Waterloo, Canada
Program Committee
-----------------
Fatima K. Abu Salem, American University of Beirut, Lebanon
Anna Bigatti, Università di Genova, Italy
Shaoshi Chen, Chinese Academy of Sciences, China
Thomas Cluzeau, Université de Limoges, France
Luca De Feo, Université de Versailles, France
Matthew England, Coventry University, UK
Gábor Ivanyos, Hungarian Academy of Sciences, Hungary
Fredrik Johansson, INRIA Bordeaux, France
Jeremy Johnson, Drexel University, USA
Laura Kovacs, University of Vienna, Austria
Viktor Levandovskyy, RWTH Aachen University, Germany
Hongbo Li, Chinese Academy of Sciences, China
Susan Margulies, United States Naval Academy, USA
Katsusuke Nabeshima, Tokushima University, Japan
Daniel Perrucci, Universidad de Buenos Aires, Argentina
Mohab Safey El Din, Sorbonne Universités, France
Dave Saunders, University of Delaware, USA
Éric Schost, University of Waterloo, Canada
Arne Storjohann, University of Waterloo, Canada
Jan Verschelde, University of Illinois at Chicago, USA
Authors take Note
-----------------
The official publication date is the date the proceedings are made
available in the ACM Digital Library. This date may be up to two weeks
prior to the first day of the conference. The official publication
date affects the deadline for any patent filings related to published
work.
*****
You may leave the ISSAC-ANNOUNCE list at any time by sending a "SIGNOFF ISSAC-ANNOUNCE" command to [log in to unmask] or by visiting http://listserv.acm.org/archives/ISSAC-ANNOUNCE.html.
|
