ISSAC 2022
International Symposium on Symbolic and Algebraic Computation
July 4-7 2022
Lille, France
SECOND CALL FOR PAPERS
https://www.issac-conference.org/2022/
----------------------------------------------------------------------
The International Symposium on Symbolic and Algebraic Computation is
the premier conference for research in symbolic computation and
computer algebra. ISSAC 2022 will be the 47th 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 2022 will be held on 4-7 July 2022 at the University of Lille,
France.
Important Dates
---------------
(The abstract and paper submission deadlines are solid deadlines.)
Abstract submission: January 31, 2022, 23:59 (anywhere on Earth)
Paper submission: February 7, 2022, 23:59 (anywhere on Earth)
First notification of acceptance/rejection: April 17, 2022
End of rebuttal phase: May 1, 2022
Final notification after rebuttal phase: May 8, 2022
Camera-ready copy due: May 15, 2022
Submission Instructions
-----------------------
ISSAC 2022 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, found at:
http://www.acm.org/publications/proceedings-template
which can be downloaded from:
https://www.acm.org/binaries/content/assets/publications/consolidated-tex-template/acmart-primary.zip
However, two additional pages may be used for bibliographical
references, and/or for experimental results (tables, figures),
experimental data (e.g. input or output systems for a solver) and
computer program code (library code, scripts, worksheets, Makefiles,
etc.).
The portion of the paper before these two additional pages must be
self-contained.
Extended abstracts are not allowed. At least one author of each
accepted paper must register for the conference and present the paper.
Submissions not following those guidelines may be rejected
without having been formally reviewed by the PC members.
Submission is via EasyChair, at the web site
https://www.easychair.org/conferences/?conf=issac22
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
----------------
Mioara Joldes (CNRS, LAAS, France)
Validated numerics: algorithms and practical applications in aerospace
Joris van der Hoeven (CNRS, LIX, France)
On the complexity of symbolic computation
Avi Wigderson (Institute for Advance Study, Princeton, USA)
Non-commutative Optimization: where algebra, analysis and algorithms meet
Conference Organization
-----------------------
General Chair: Marc Moreno Maza
(University of Western Ontario, Canada)
Program Committee Chair: Lihong Zhi
(Chinese Academy of Sciences, China)
Local Arrangements Chair: François Lemaire
(University of Lille, France)
Treasurer: François Boulier
(University of Lille, France)
Poster Chair: Rui-Juan Jing
(Jinagsu University, China)
Proceedings Editor: Amir Hashemi
(Isfahan University of Technology, Iran)
Publicity Chair: Xavier Caruso
(University of Bordeaux, France)
Tutorial Chair: Fatima K. Abu Salem
(American University of Beirut, Lebanon)
Software Presentations Chair: Erik Postma
(Maplesoft, Canada)
Program Committee
-----------------
Anna Maria Bigatti University of Genoa, Italy
Changbo Chen Chinese Academy of Sciences, China
Shaoshi Chen Chinese Academy of Sciences, China
Erich Kaltofen North Carolina State University, USA
Gregor Kemper Technical University of Munich, Germany
Christoph Koutschan Austrian Academy of Sciences, Austria
George Labahn University of Waterloo, Canada
Wen-Shin Lee University of Stirling, United Kingdom
Alexander Levin The Catholic University of America, USA
Anton Leykin Georgia Tech, USA
Chenqi Mou Beihang University, China
Katsusuke Nabeshima Tokyo University of Science, Japan
Kosaku Nagasaka Kobe University, Japan
Clément Pernet University of Grenoble Alpes, France
Gregory Reid University of Western Ontario, Canada
Ana Romero University of La Rioja, Spain
Mohab Safey El Din Sorbonne University, France
Michael Sagraloff University of Applied Sciences in Landshut, Germany
Elias Tsigaridas Inria Paris, France
Tristan Vaccon University of Limoges, France
Lihong Zhi (chair) Chinese Academy of Sciences, China
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
