[Om-announce] [ISSAC-ANNOUNCE] ISSAC 2022 - Second Call for Papers

[Xavier Caruso]

----------------------------------------------------------------------

                       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

*****
You may leave the ISSAC-ANNOUNCE list at any time by sending a "SIGNOFF ISSAC-ANNOUNCE" command to LISTSERV at LISTSERV.ACM.ORG or by visiting http://listserv.acm.org/archives/ISSAC-ANNOUNCE.html.