[Om-announce] [ISSAC-ANNOUNCE] Final Call for Papers ISSAC 2018

Gleb Pogudin pogudin at CIMS.NYU.EDU
Tue Jan 16 05:31:48 CET 2018


                         ISSAC 2018

  International Symposium on Symbolic and Algebraic Computation
                       July 16-19 2018
           The CUNY Graduate Center, New York, USA
                    FINAL CALL FOR PAPERS

                     DEADLINE EXTENSION



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 -- extended deadlines
Abstract submission: January 29, 2018 (was: January 22, 2018)
Paper submission: February 5, 2018 (was: 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)
   Algebraic Techniques in Geometry: The 10th Anniversary
Thomas Sturm (CNRS Nancy, France, Max Planck Institute Saarbrueken and 
Saarland University, Germany)
   Thirty Years of Virtual Substitution -
   Foundations, Techniques, Applications
Andrew Sommese (University of Notre Dame, USA)
   Polynomial Systems Arising from Discretizing Systems of Nonlinear 
Differential Equations

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

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

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.

More information about the Om-announce mailing list