<div dir="ltr"><div><font size="+1" style="color:rgb(0,0,0);font-family:"Times New Roman""><tt>Communicated on behalf of Francois Lemaire</tt></font></div><div><font size="+1" style="color:rgb(0,0,0);font-family:"Times New Roman""><tt><br></tt></font></div><font size="+1" style="color:rgb(0,0,0);font-family:"Times New Roman""><tt>----------------------------------------------------------------------<br><br> ISSAC 2020<br><br> International Symposium on Symbolic and Algebraic Computation<br> July 20-23 2020<br> Kalamata, Messinia, Greece<br> <br> FIRST CALL FOR PAPERS<br><br> <a class="gmail-moz-txt-link-freetext" href="http://issac-conference.org/2020/" target="_blank">http://issac-conference.org/2020/</a><br><br>----------------------------------------------------------------------<br><br>The International Symposium on Symbolic and Algebraic Computation is<br>the premier conference for research in symbolic computation and<br>computer algebra. ISSAC 2020 will be the 45th meeting in the series,<br>which started in 1966 and has been held annually since 1981. The<br>conference presents a range of invited talks, tutorials, poster<br>sessions, software demonstrations and vendor exhibits with a<br>centerpiece of contributed research papers.<br><br>ISSAC 2020 is held on July 20-23 2020, at<br>Kalamata, Messinia, Greece.<br><br>Important Dates<br>---------------<br>Abstract submission: January 31st, 2020, 23.59 (anywhere on earth)<br>Paper submission: February 7th, 2020, 23.59 (anywhere on earth)<br>Notification of acceptance/rejection: April 24th, 2020<br>Camera-ready copy due: May 29th, 2020<br><br>Submission Instructions<br>-----------------------<br>ISSAC 2020 invites submission of original research contributions<br>to be considered for publication and presentation at the conference.<br>Papers should not duplicate work published or submitted for<br>consideration elsewhere.<br><br>Papers must be in English and should not exceed 8 pages in the ACM<br>sig-alternate.cls style, found at<br><a class="gmail-moz-txt-link-freetext" href="http://www.acm.org/publications/proceedings-template" target="_blank">http://www.acm.org/publications/proceedings-template</a><br><br>Submissions in other article styles are also accepted, but the final<br>version must be at most 8 pages when compiled in sig-alternate.cls<br>style (equivalent to about 17 pages of letter size paper, typeset in<br>12pt with normal spacing and reasonably large margins). Extended<br>abstracts are not allowed. Papers may have an appendix that may be<br>read by the reviewers and PC members at their discretion, but will<br>not be included in the published version of the paper.<br><br>Submission is via EasyChair, at the web site<br><a class="gmail-moz-txt-link-freetext" href="https://www.easychair.org/my/conference?conf=issac2020" target="_blank">https://www.easychair.org/my/conference?conf=issac2020</a><br><br>Topics<br>------<br>All areas of computer algebra and symbolic mathematical computation<br>are of interest. These include, but are not limited to:<br><br>Algorithmic aspects:<br><br>* Exact and symbolic linear, polynomial and differential algebra<br>* Symbolic-numeric, homotopy, perturbation and series methods<br>* Computational algebraic geometry, group theory and number theory<br>* Computer arithmetic<br>* Summation, recurrence equations, integration, solution of ODEs & PDEs<br>* Symbolic methods in other areas of pure and applied mathematics<br>* Complexity of algebraic algorithms and algebraic complexity<br><br>Software aspects:<br><br>* Design of symbolic computation packages and systems<br>* Language design and type systems for symbolic computation<br>* Data representation<br>* Considerations for modern hardware<br>* Algorithm implementation and performance tuning<br>* Mathematical user interfaces<br><br>Application aspects:<br><br>* Applications that stretch the current limits of computer algebra<br> algorithms or systems, use computer algebra in new areas or new<br> ways, or apply it in situations with broad impact.<br><br>Invited Speakers<br>----------------<br>* David A. Cox, Amherst College, MA, USA<br>* Alicia Dickenstein, Universidad de Buenos Aires, Argentina<br>* Lek-Heng Lim, The University of Chicago, IL, USA<br><br>Conference Organization<br>-----------------------<br>General Chairs:<br>* Ioannis Z. Emiris, National Kapodistrian University of Athens,<br> ATHENA Research and Innovation Center, Greece<br>* Lihong Zhi, Academia Sinica, China<br><br>Program Committee Chair:<br>* Anton Leykin, Georgia Tech, USA<br><br>Program Committee<br>-----------------<br>Peter Bürgisser, Berlin Technische Universität, Germany<br>Anne Frühbis-Krüger, Leibniz Universität, Germany<br>Vladimir Gerdt, Joint Institute for Nuclear Research, Russia<br>Évelyne Hubert, INRIA Méditerranée, France<br>Xiaohong Jia, Chinese Academy of Sciences, China<br>Gregor Kemper, München Technische Universität, Germany<br>Christoph Koutschan, RICAM, Austria<br>Pierre Lairez, INRIA Saclay Île-de-France, France<br>Grégoire Lecerf, CNRS, École polytechnique, France<br>Diane Maclagan, University of Warwick, United Kingdom<br>Michael Monagan, Simon Fraser University, Canada<br>Gabriele Nebe, RWTH Aachen University, Germany<br>Peter Olver, University of Minnesota, USA<br>Mohab Safey El Din, Sorbonne University, France<br>Allan Steel, University of Sydney, Australia<br>Michael Stillman, Cornell University, USA<br>Arne Storjohann, University of Waterloo, Canada<br>Nobuki Takayama, Kobe University, Japan<br>Maria-Laura Torrente, University of Genoa, Italy<br>Chee Yap, New York University, USA<br><br>Authors take Note<br>-----------------<br>The official publication date is the date the proceedings are made<br>available in the ACM Digital Library. This date may be up to two weeks<br>prior to the first day of the conference. The official publication<br>date affects the deadline for any patent filings related to published<br>work.<br><br><br>Note that ACA 2020 will take place on July 15-18 in Athens, Greece<br><a class="gmail-moz-txt-link-freetext" href="https://aca2020.sba-research.org/" target="_blank">https://aca2020.sba-research.org/</a><br>Free transportation to Kalamata will be provided to ACA participants.<br></tt></font><br style="color:rgb(0,0,0);font-family:"Times New Roman";font-size:medium"><pre class="gmail-moz-signature" cols="72" style="color:rgb(0,0,0)">-- </pre><pre class="gmail-moz-signature" cols="72" style="color:rgb(0,0,0)">Francois Lemaire
Publicity Chair- ISSAC 2020
Université de Lille - Sciences et Technologies - <a class="gmail-moz-txt-link-abbreviated" href="http://www.univ-lille.fr/" target="_blank">www.univ-lille.fr</a>
Laboratoire CRIStAL - Bât. Esprit - Bureau S4.23 - 59655 Villeneuve d'Ascq
Tél: +33 (0)3 20 43 42 93
Web: <a class="gmail-moz-txt-link-freetext" href="https://www.fil.univ-lille1.fr/~lemaire" target="_blank">https://www.fil.univ-lille1.fr/~lemaire</a></pre></div>
*****
You may leave the ISSAC-ANNOUNCE list at any time by sending a "SIGNOFF ISSAC-ANNOUNCE" command to <a href="mailto:LISTSERV@LISTSERV.ACM.ORG">LISTSERV@LISTSERV.ACM.ORG</a> or by visiting <a href="http://listserv.acm.org/archives/ISSAC-ANNOUNCE.html" target="_blank">http://listserv.acm.org/archives/ISSAC-ANNOUNCE.html</a>.