ISSAC: International Symposium on Symbolic and Algebraic Computation

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

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

 
 

All CFPs on WikiCFP

Event When Where Deadline
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 : 2019

All areas of computer algebra and symbolic computation are of interest at ISSAC 2019. 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

SYNASC 2019   International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
PPSN 2020   Parallel Problem Solving from Nature
SC-PCEB 2020   Special Collection: PARALLEL COMPUTING IN EVOLUTIONARY BIOINFORMATICS
EvoCop 2020   The 20th European Conference on Evolutionary Computation in Combinatorial Optimisation
STOC 2020   Symposium on the Theory of Computing
BDSIC--EI Compendex, Scopus 2019   2019 International Conference on Big-data Service and Intelligent Computation (BDSIC 2019)--EI Compendex, Scopus
NICSI 2019   Nature-Inspired Computation and Swarm Intelligence
COMPUTATION TOOLS 2020   The Eleventh International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
BDSIC--EI, Scopus 2019   2019 International Conference on Big-data Service and Intelligent Computation (BDSIC 2019)--EI Compendex, Scopus
JPF 2019   Java Pathfinder Workshop 2019