[Om-announce] [ISSAC-ANNOUNCE] ISSAC 2021 - Call for Short Communications and Software Presentations

Daniel Robertz daniel.robertz at PLYMOUTH.AC.UK
Wed Mar 3 16:25:27 CET 2021


                        ISSAC 2021

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




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 international situation makes it impossible to hold ISSAC'21 the
way usual ISSAC conferences are held. To offer a reasonable experience
to our community, ISSAC'21 will be organized according to the
following exceptional format:

- ISSAC'21 will be run in a hybrid mode, that is, with largest
  attendance online and a possibility to attend in person for those
  able to travel.
- The working times will be from 14:00 to 20:00 in Saint Petersburg,
  so as to accommodate as many time zones as possible.
- The conference will spread over 5 days, including tutorials (July,
  Mon 19 to Fri 23).

This choice will ensure that all talks and components of the
conference have the same duration as in usual (in-person) ISSAC

A pre-conference workshop in honor of Vladimir Gerdt will take place
on Sunday 18 July.

Short Communications Session and Software Session

The short communications session at ISSAC is a venue to announce early
research results or ongoing projects that might not yet be
complete. Short communications reporting on recent work published or
accepted or submitted elsewhere are also welcome (with original
publications clearly referenced). Short communications at ISSAC'21
replace the physical posters of traditional in-person ISSAC

The software presentations at ISSAC are for demonstrating and
communicating about new developments in software for symbolic and
algebraic computation. Presentations are welcome for software based on
previously published algorithms and mathematics. The format of
presentations at the conference should make it possible to include a
live software demonstration when appropriate.

Authors are invited to submit an extended abstract in PDF of no more
than 5 pages in the ACM CCA style. The abstracts will be reviewed by
the poster and software committees and relevant experts when
needed. The review criteria are content, originality, style and
relevance. The accepted short communications (posters) and software
abstracts will be distributed at the conference as well as published
in an upcoming issue of the ACM Communications in Computer Algebra.

Important Dates:

Short communications (posters) and Software presentations:
   Abstract submission (.pdf)               Fri, May 07, 2021, 23:59
                                                 (anywhere on Earth)
   Notification of acceptance/rejection     Fri, June 04, 2021
   Final version (.tex) due                 Fri, June 18, 2021

Submission Instructions:

Extended abstracts should be submitted in PDF format. They should be
no more than five pages using the SIGSAM LaTeX style (sigconf, 11pt,
single column) and the CCA templates. Technical submission
instructions and guidelines will be available from the ISSAC'21
conference page.

Authors of accepted contributions are expected to present their work
at the symposium.


All areas of computer algebra and symbolic 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)

Poster Committee

Hao Du
  (Johann Radon Institute, RICAM, Linz, Austria)
Wei Li, chair
  (Academy of Mathematics and Systems Science, Chinese Academy
  of Sciences, Beijing, China)
Katsusuke Nabeshima
  (Tokushima University, Japan)
Simone Naldi
  (Université de Limoges, France)
Jose Israel Rodriguez
  (University of Wisconsin-Madison, USA)

Software Presentations Committee

Pascal Giorgi, chair
  (LIRMM - Université de Montpellier, France)
Jeremy Johnson
  (Drexel University, USA)
Wen-shin Lee
  (University of Stirling, United Kingdom)
Pierre-Jean Spaenlehauer
  (Inria Nancy Grand-Est, France)


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