---------------------------------------------------------------------- ISSAC 2021 International Symposium on Symbolic and Algebraic Computation July 18-22 2021 Saint Petersburg, Russia THIRD CALL FOR PAPERS http://www.issac-conference.org/2021 ---------------------------------------------------------------------- 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 https://www.easychair.org/conferences/?conf=issac21 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 ---------------- 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, Russia) 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)