ISSAC: International Symposium on Symbolic and Algebraic Computation

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2023 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
ISSAC 2022 International Symposium on Symbolic and Algebraic Computation
Jul 4, 2022 - Jul 7, 2022 Lille, France Feb 7, 2022 (Jan 31, 2022)
ISSAC 2021 International Symposium on Symbolic and Algebraic Computation
Jul 18, 2021 - Jul 22, 2021 Saint Petersburg Feb 5, 2021 (Jan 29, 2021)
ISSAC 2019 International Symposium on Symbolic and Algebraic Computation
Jul 15, 2019 - Jul 18, 2019 Beijing, China Jan 20, 2019 (Jan 13, 2019)
ISSAC 2017 International Symposium on Symbolic and Algebraic Computation
Jul 25, 2017 - Jul 28, 2017 Kaiserslautern Jan 28, 2017 (Jan 21, 2017)
ISSAC 2011 36th International Symposium on Symbolic and Algebraic Computation
Jun 8, 2011 - Jun 11, 2011 San Jose, California Jan 16, 2011 (Jan 8, 2011)
ISSAC 2010 35th International Symposium on Symbolic and Algebraic Computation
Jul 25, 2010 - Jul 28, 2010 Munich, Germany Jan 21, 2010 (Jan 14, 2010)
ISSAC 2009 International Symposium on Symbolic and Algebraic Computation
Jul 28, 2009 - Jul 31, 2009 Seoul, Republic of Korea Jan 24, 2009
ISSAC 2008 International Symposium on Symbolic and Algebraic Computation
Jul 20, 2008 - Jul 23, 2008 Linz/Hagenberg, Austria TBD
 
 

Present CFP : 2022

Important dates
Regular papers
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



Conference topics
All areas of computer algebra and symbolic computation are of interest at ISSAC 2022. 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, quantifier elimination and logic
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
Use with systems for, e.g., digital libraries, courseware, simulation and optimization, automated theorem-proving, computer-aided design, and automatic differentiation.
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.
 

Related Resources

EXPLAINS 2024   1st International Conference on Explainable AI for Neural and Symbolic Methods
GECCO 2024   Genetic and Evolutionary Computation Conference
WADT 2024   27th International Workshop on Algebraic Development Techniques
NCTA 2024   16th International Conference on Neural Computation
ICAISC 2024   International Conference on Artificial Intelligence and Soft Computing
PPSN 2024   18th International Conference on Parallel Problem Solving From Nature
DSAI 2024   2nd International Conference on Data Science and Artificial Intelligence
UCNC 2024   21st International Conference on Unconventional Computation and Natural Computation
STRL 2024   The 3rd International Workshop on Spatio-Temporal Reasoning and Learning
ICSI 2024   The Fifteenth International Conference on Swarm Intelligence