International Symposium on Symbolic and Algebraic Computation

International Symposium on Symbolic and Algebraic Computation
Name	International Symposium on Symbolic and Algebraic Computation
Discipline	Computer algebra
Abbreviation	ISSAC
Publisher	ACM
Country	International
First	1988
Frequency	Annual

International Symposium on Symbolic and Algebraic Computation is an annual academic conference focusing on computer algebra, symbolic computation, and related computational mathematics. It brings together researchers, practitioners, and students from institutions and companies across North America, Europe, and Asia to present advances in algorithms, systems, and applications. The symposium interacts with major venues and organizations in theoretical computer science, mathematics, and software engineering.

History

The symposium began in the late 1980s with early meetings influenced by work at Massachusetts Institute of Technology, Stanford University, IBM, INRIA, and University of Cambridge. Early organizers included researchers from American Mathematical Society, Association for Computing Machinery, European Mathematical Society, and Society for Industrial and Applied Mathematics networks. Over time the conference has been held in cities such as Toronto, Boston, Paris, Kaiserslautern, Bologna, Shanghai, Beirut, San Diego, and Berlin, with program committees drawing members from Princeton University, ETH Zurich, University of Oxford, University of California, Berkeley, Harvard University, Columbia University, University of Tokyo, Tsinghua University, and Seoul National University. The event has evolved alongside milestones at Bell Labs, Microsoft Research, Google, Wolfram Research, and Symbolics while reflecting progress in projects led by figures associated with Donald Knuth, Stephen Cook, Alan Turing, Alonzo Church, and Emmy Noether traditions.

Scope and Topics

ISSAC covers computational aspects arising in connections to Algebraic Geometry, Number Theory, Combinatorics, Cryptography, Control Theory, and Quantum Computing applications. Typical topics include polynomial system solving, Gröbner bases, multivariate factorization, symbolic integration, differential algebra, algebraic number theory algorithms, and complexity analysis tied to work from Galois Theory contexts and advances related to RSA and Elliptic Curve Cryptography research. Papers often reference software systems and platforms such as Maple, Mathematica, SageMath, Singular, Magma, GAP, Coq, Isabelle, Lean (proof assistant), and Maxima, and address implementations on hardware architectures inspired by NVIDIA, Intel, ARM, and IBM Q developments. Cross-disciplinary links span collaborations with labs at Los Alamos National Laboratory, Lawrence Berkeley National Laboratory, CERN, National Institute of Standards and Technology, Siemens, and Boeing.

Conference Format and Organization

The symposium is typically organized by a local host institution in coordination with committees drawn from ACM SIGSAM, SIAM Activity Group on Symbolic Computation, and international program chairs affiliated with universities such as University of Waterloo, University of Cambridge, McGill University, Technische Universität München, and Imperial College London. Formats include peer-reviewed paper presentations, poster sessions, invited talks by members of National Academy of Sciences, Royal Society, and recipients of awards like the Turing Award and Fields Medal, workshops co-located with meetings such as STOC, FOCS, ICALP, and summer schools sponsored by ERC and national funding agencies like NSF, DFG, ANR, and JSPS. Tutorials, panels, and industrial tracks encourage participation from teams at Google Research, Facebook AI Research, Amazon Web Services, Oracle, and startups incubated in Silicon Valley and Cambridge (UK) technology clusters.

Proceedings and Publications

Accepted papers are published in proceedings overseen by publishers and societies including ACM Press and archived in digital libraries used by IEEE Xplore and university repositories at arXiv. Proceedings feature full papers, short papers, system descriptions, and abstracts, and often lead to journal versions in venues such as Journal of Symbolic Computation, Mathematics of Computation, Journal of Algebra, SIAM Journal on Computing, and Communications of the ACM. Special issues and selected papers have appeared in edited volumes from Springer, Elsevier, and Cambridge University Press, and are cited alongside foundational texts by authors affiliated with Princeton University Press and Oxford University Press.

Awards and Competitions

The symposium hosts awards and competitions recognizing best papers, best student papers, and outstanding system demonstrations, with selection committees including members from ACM SIGPLAN, ACM SIGMOD, and editorial boards of major journals. Competitions have included algorithmic challenges in polynomial factorization, symbolic integration, and satisfiability solving, often attracting participants associated with research groups at MIT Lincoln Laboratory, Google DeepMind, Facebook AI Research, and industrial partners like SAP and Intel Labs. Student travel grants and mentorship programs receive support from agencies such as NSF, European Research Council, and philanthropic foundations like Simons Foundation.

Notable Contributions and Impact

Work presented at the symposium has influenced algorithmic breakthroughs in Gröbner basis methods, resultant computation, and modular algorithms, impacting applications in Cryptography, Robotics, Computer Aided Design, Computational Biology, and Control Systems deployed by companies such as Boeing, Airbus, Siemens, and Toyota. Contributions have intersected with theoretical advances by researchers linked to P versus NP Problem, Alonzo Church-inspired lambda calculus developments, and formal methods adopted in projects at Microsoft Research and NASA. The symposium has served as a venue for launching software projects and collaborations later integrated into industrial toolchains at Wolfram Research, Maplesoft, and open-source ecosystems fostered by initiatives at NumFOCUS and The Linux Foundation.

Category:Academic conferences Category:Computer algebra