[Om-announce] [ISSAC-ANNOUNCE] ISSAC 2016: Extended Deadline for Papers

Thu Jan 14 19:47:15 CET 2016

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

                             ISSAC 2016

   International Symposium on Symbolic and Algebraic Computation
Wilfrid Laurier University, Waterloo, Ontario, Canada, July 20-22 2016.

                         EXTENDED DEADLINE

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

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

The International Symposium on Symbolic and Algebraic Computation is
the premier conference for research in symbolic computation and
computer algebra. ISSAC 2016 will be the 41st 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 2016 will be held on July 20-22, 2016, at Wilfrid Laurier University,
Waterloo, Ontario, Canada, hosted by the CARGO lab.
Tutorial Sessions will be held on July 19th 2016.

Important Dates
---------------
Abstract submission(*): Monday, January 25th 2016
Paper submission(**): Sunday, January 31st 2016
Notification of acceptance/rejection: Thursday, March 31st 2016
Camera-ready copy due: Tuesday, April 26th 2016

(*) The website for the abstract submission and the paper submission is the
    same, i.e. you will not find a distinct area for the abstract submission.
    You can submit your abstract first, and then override your submission with
    the full paper. It is to be remarked that you do not need to first submit an
    abstract prior to the paper if your paper is ready by the abstract
    submission deadline. The abstract submission possibility serves the purpose
    to provide authors with more time to complete their papers while the program
    committee can begin to find suitable reviewers based on the overview they
    obtain from the abstracts.

(**) You need to submit an abstract by the abstract submission deadline if
     your full paper is not completed by the abstract submission deadline.

Invited Speakers
---------------
Ioannis Z. Emiris (University of Athens)
Title: Compact formulae in sparse elimination

J. Ian Munro (University of Waterloo)
Title: Succinct Data Structures ... Potential for Symbolic Algebra?

Carsten Schneider (RISC, Johannes Kepler University)
Title: Symbolic summation in difference rings and applications

Abstracts are available here:
http://www.issac-symposium.org/2016/invited.php

Tutorial Speakers
----------------
Clemens G. Raab (RICAM, Austrian Academy of Sciences)
Title: Symbolic computation of parameter integrals

Daniel Robertz (Plymouth University, United Kingdom)
Title: Formal algorithmic elimination for PDEs

Georg Regensburger (RICAM, Austrian Academy of Sciences)
Title: Symbolic computation with integro-differential operators

Abstracts are available here:
http://www.issac-symposium.org/2016/tutorials.php

Submission Instructions
---------------------
ISSAC 2016 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/publications/article-templates/proceedings-template.html
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=issac2016

Details on the ISSAC 2016 reviewing process are given here:
http://www.issac-symposium.org/2016/ReviewProcess.php

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 Chairs: Sergei Abramov (Russian Academy of Sciences, Russia)
                Eugene Zima (Wilfrid Laurier University, Canada)
Program Committee Chair: Xiao-Shan Gao (Chinese Academy of Sciences, China)
Local Arrangement Chair: Eugene Zima (Wilfrid Laurier University, Canada)
Treasurer: Jacques Carette (McMaster University, Canada)
Proceedings Editor: Markus Rosenkranz (University of Kent, UK)
Tutorial Chair: Moulay Barkatou (Université de Limoges, France)
Software Exhibit Chair: Roman Pearce (Simon Fraser University, Canada)
Poster Chair: Shaoshi Chen (Chinese Academy of Sciences, China)
Publicity Chair/Webmaster: Albert Heinle (University of Waterloo, Canada)

Program Committee
-----------------
Alin Bostan (INRIA, France)
Russell Bradford (University of Bath, UK)
Carlos D'Andrea (University of Barcelona, Spain)
Jean-Guillaume Dumas (Université de Grenoble Alpes, France)
Ruyong Feng (Chinese Academy of Sciences, China)
Xiao-Shan Gao (Chinese Academy of Sciences, China)
Jonathan Hauenstein (University of Notre Dame, USA)
Hoon Hong (North Carolina State University, USA)
Deepak Kapur (University of New Mexico, USA)
George Labahn (University of Waterloo, Canada)
Wen-shin Lee (University of Antwerp, Belgium)
Ernst W. Mayr (Technische Universität München, Germany)
Scott McCallum (Macquarie University, Australia)
Teo Mora (Università di Genova, Italy)
Michael Monagan (Simon Fraser University, Canada)
Daniel Panario (Carleton University, Canada)
Ludovic Perret (Université Pierre et Marie Curie, France)
Michael Sagraloff (Max-Planck-Institut für Informatik, Germany)
Franz Winkler (Johannes Kepler University, Austria)
Kazuhiro Yokoyama (Rikkyo University, Japan)

Poster Presentation Committee
--------------------------
Shaoshi Chen (Chinese Academy of Sciences, China)
Ryoya Fukasaku (Tokyo university of Science, Japan)
Christoph Koutschan (Austrian Academy of Sciences, Austria)
Romain Lebreton (Université Montpellier 2, France)
Wei Li (Chinese Academy of Sciences, China)

*****
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.