[Om-announce] [ISSAC-ANNOUNCE] ISSAC 2021 - Third call for papers

Daniel Robertz daniel.robertz at PLYMOUTH.AC.UK
Fri Jan 22 15:48:10 CET 2021


                        ISSAC 2021

 International Symposium on Symbolic and Algebraic Computation
                        July 18-22 2021
                    Saint Petersburg, Russia

                     THIRD CALL FOR PAPERS



The International Symposium on Symbolic and Algebraic Computation is
the premier conference for research in symbolic computation and
computer algebra. ISSAC 2021 will be the 46th meeting in the series,
which started in 1966 and has been held annually since 1981. The
conference presents a range of invited talks, tutorials, poster
sessions, software demonstrations and vendor exhibits with a
centerpiece of contributed research papers.

ISSAC 2021 will be held on 18-22 July 2021 at St. Petersburg
Department of V.A. Steklov Mathematical Institute (PDMI RAS), Saint
Petersburg, Russia. Workshops will be held on July 18th and tutorial
sessions will be held on July 19th 2021.

Important Note Concerning the COVID-19 Pandemic

The current situation makes it unclear whether ISSAC 2021 can be held
in person. Should it need to be held as a virtual conference, we would
strive to maintain all aspects of the program, possibly on a slightly
expanded period of time to better accommodate attendance from
different time zones.

Important Dates

(The abstract and paper submission deadlines are solid deadlines.)
Abstract submission: January 29, 2021, 23:59 (anywhere on Earth)
Paper submission: February 5, 2021, 23:59 (anywhere on Earth)
First notification of acceptance/rejection: April 20, 2021
End of rebuttal phase: May 4, 2021
Final notification after rebuttal phase: May 11, 2021
Camera-ready copy due: May 18, 2021

Submission Instructions

ISSAC 2021 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
two-column style (see the ISSAC 2021 website for more information).
Submissions in other article styles are also accepted, but the revised
version after rebuttal phase must be at most 8 pages when compiled in
the ACM two-column conference 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. 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.

Invited Speakers

Alin Bostan
  (INRIA, France)
Title: Computer algebra in the service of enumerative combinatorics

Xiao-shan Gao
  (Academy of Mathematics and Systems Science, Chinese Academy
  of Sciences, Beijing, China)
Title: New developments of mathematics mechanization

Nadia Heninger
  (University of California, San Diego, USA)
Title: Algorithmic techniques and open problems in cryptanalysis

Tutorial Speakers

Janko Böhm and Anne Frühbis-Krüger
  (Technische Universität Kaiserslautern, Germany)
  (Carl von Ossietzky Universität Oldenburg, Germany)
Title: Massively parallel computations in algebraic geometry

Marc Moreno Maza
  (University of Western Ontario, Canada)
Title: Design and implementation of multi-threaded algorithms in
  polynomial algebra

Pierre Vanhove
  (CEA, France)
Title: Differential equations for Feynman integrals

Conference Organization

General Chair: Frédéric Chyzak
  (INRIA, France)
Program Committee Chair: George Labahn
  (University of Waterloo, Ontario, Canada)
Local Arrangements Chair: Nikolay Vassiliev
  (Steklov Mathematical Institute of Russian Academy of Sciences,
Treasurer: Gleb Pogudin
  (École Polytechnique, France)
Publicity Chair/Webmaster: Daniel Robertz
  (University of Plymouth, United Kingdom)
Tutorial Chair: Ekaterina Shemyakova
  (University of Toledo, USA)
Poster Chair: Wei Li
  (Academy of Mathematics and Systems Science, Chinese Academy
  of Sciences, Beijing, China)
Software Presentations Chair: Pascal Giorgi (LIRMM, Université
  de Montpellier, France)

Program Committee

Carlos Arreche
  (University of Texas at Dallas, USA)
Paola Boito
  (Università di Pisa, Italy)
Delphine Boucher
  (Université de Rennes 1, France
Ioannis Emiris
  (National and Kapodistrian University of Athens, Greece)
Jürgen Gerhard
  (Maplesoft, Waterloo, Ontario, Canada)
Jonathan Hauenstein
  (University of Notre Dame, USA)
Hui Huang
  (University of Waterloo, Ontario, Canada)
Manuel Kauers
  (Johannes Kepler University, Linz, Austria)
Laura Kovács
  (Vienna University of Technology, Austria)
George Labahn, chair
  (University of Waterloo, Ontario, Canada)
Romain Lebreton
  (LIRMM, Université de Montpellier, France)
Ziming Li
  (Academy of Mathematics and Systems Science, Chinese Academy
   of Sciences, Beijing, China)
Michael Monagan
  (Simon Fraser University, British Columbia, Canada)
Vincent Neiger
  (Université de Limoges, France)
Veronika Pillwein
  (Johannes Kepler University, Linz, Austria)
Dan Roche
  (United States Naval Academy, USA)
Timur Sadykov
  (Plekhanov Russian University, Moscow, Russia)
Mohab Safey El Din
  (Sorbonne University, Paris, France)
Eric Schost
  (University of Waterloo, Ontario, Canada)
Thomas Sturm
  (LORIA Nancy, France & MPI Saarbrücken, Germany)
Lihong Zhi
  (Academy of Mathematics and Systems Science, Chinese Academy
   of Sciences, Beijing, China)


This email and any files with it are confidential and intended solely for the use of the recipient to whom it is addressed. If you are not the intended recipient then copying, distribution or other use of the information contained is strictly prohibited and you should not rely on it. If you have received this email in error please let the sender know immediately and delete it from your system(s). Internet emails are not necessarily secure. While we take every care, University of Plymouth accepts no responsibility for viruses and it is your responsibility to scan emails and their attachments. University of Plymouth does not accept responsibility for any changes made after it was sent. Nothing in this email or its attachments constitutes an order for goods or services unless accompanied by an official order form.

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