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