<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<font size="+1"><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="moz-txt-link-freetext"
href="http://issac-conference.org/2020/">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="moz-txt-link-freetext"
href="http://www.acm.org/publications/proceedings-template">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="moz-txt-link-freetext"
href="https://www.easychair.org/my/conference?conf=issac2020">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="moz-txt-link-freetext"
href="https://aca2020.sba-research.org/">https://aca2020.sba-research.org/</a><br>
Free transportation to Kalamata will be provided to ACA
participants.<br>
<br>
</tt></font>
<pre class="moz-signature" cols="72">-
Publicity Chair - ISSAC 2020
Université de Lille - Sciences et Technologies - <a class="moz-txt-link-abbreviated" href="http://www.univ-lille.fr">www.univ-lille.fr</a>
Laboratoire CRIStAL - Bât. Esprit - Bureau S4.23 - 59655 Villeneuve d'Ascq
Équipe CFHP - cfhp.univ-lille.fr
Tél: +33 (0)3 20 43 42 93
Web: <a class="moz-txt-link-freetext" href="https://www.fil.univ-lille1.fr/~lemaire">https://www.fil.univ-lille1.fr/~lemaire</a>
</pre>
</body>
</html>
*****
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>.