[Om-announce] [ISSAC-ANNOUNCE] ISSAC 2020 - Second call for papers

[François Lemaire]

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

                          ISSAC 2020

  International Symposium on Symbolic and Algebraic Computation
                        July 20-23 2020
                  Kalamata, Messinia, Greece

                     SECOND CALL FOR PAPERS

               http://issac-conference.org/2020/

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

The International Symposium on Symbolic and Algebraic Computation is
the premier conference for research in symbolic computation and
computer algebra. ISSAC 2020 will be the 45th 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 2020 is held on July 20-23 2020, at
Kalamata, Messinia, Greece.

Important Dates
---------------
Abstract submission: January 31st, 2020, 23.59 (anywhere on earth)
Paper submission: February 7th, 2020, 23.59 (anywhere on earth)
Notification of acceptance/rejection: April 24th, 2020
Camera-ready copy due: May 29th, 2020

Submission Instructions
-----------------------
ISSAC 2020 invites 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/proceedings-template

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.

Submission is via EasyChair, at the web site
https://www.easychair.org/my/conference?conf=issac2020

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.

Invited Speakers
----------------
* David A. Cox, Amherst College, MA, USA
* Alicia Dickenstein, Universidad de Buenos Aires, Argentina
* Lek-Heng Lim, The University of Chicago, IL, USA

Tutorial Speakers
-----------------
* Annie Cuyt, University of Antwerp, Belgium
* Matthew England, Coventry University, UK
* Markus Püschel, ETH Zurich, Switzerland

Conference Organization
-----------------------
General Chairs:
* Ioannis Z. Emiris, National Kapodistrian University of Athens,
                      ATHENA Research and Innovation Center, Greece
* Lihong Zhi, Academia Sinica, China

Program Committee Chair:
* Anton Leykin, Georgia Tech, USA

Program Committee
-----------------
Peter Bürgisser, Berlin Technische Universität, Germany
Anne Frühbis-Krüger, Leibniz Universität, Germany
Vladimir Gerdt, Joint Institute for Nuclear Research, Russia
Évelyne Hubert, INRIA Méditerranée, France
Xiaohong Jia, Chinese Academy of Sciences, China
Gregor Kemper, München Technische Universität, Germany
Christoph Koutschan, RICAM, Austria
Pierre Lairez, INRIA Saclay Île-de-France, France
Grégoire Lecerf, CNRS, École polytechnique, France
Diane Maclagan, University of Warwick, United Kingdom
Michael Monagan, Simon Fraser University, Canada
Marc Moreno Maza, University of Western Ontario, Canada
Gabriele Nebe, RWTH Aachen University, Germany
Peter Olver, University of Minnesota, USA
Mohab Safey El Din, Sorbonne University, France
Allan Steel, University of Sydney, Australia
Michael Stillman, Cornell University, USA
Arne Storjohann, University of Waterloo, Canada
Nobuki Takayama, Kobe University, Japan
Chee Yap, New York University, 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
work.


Note that ACA 2020  will take place on  July 15-18 in  Athens, Greece
https://aca2020.sba-research.org/
Free transportation to Kalamata will be provided to ACA participants.

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