[Om-announce] [ISSAC-ANNOUNCE] ISSAC 2016: Second Call for Papers

Albert Heinle aheinle at UWATERLOO.CA
Fri Nov 20 02:21:43 CET 2015


                             ISSAC 2016

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

                       SECOND CALL FOR PAPERS



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: Friday, 15th January 2016
Paper submission: Friday, 22nd January 2016
Notification of acceptance/rejection: Thursday, March 31st 2016
Camera-ready copy due: Tuesday, April 26th 2016

Invited Speakers
Ioannis Z. Emiris (University of Athens)
J. Ian Munro (University of Waterloo)
Carsten Schneider (RISC, Johannes Kepler University)

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:

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

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.

More information about the Om-announce mailing list