This page has a dual purpose:
SIGSAM can also sponsor conferences and special sessions with a number of flexible options available. We encourage conference organizers to discuss these possibilities with the SIGSAM Chair.
ISSAC is the premier annual conference for new research in symbolic mathematical computation. It is regularly sponsored by SIGSAM.
Series webpage: http://www.issac-conference.org
Full papers are submitted in advance of the meeting for consideration, with the Proceedings published by the ACM. The official ACM archive (1989--present) can be found here. In addition, there are tracks for software demonstrations and posters, both of which are accompanied by extended abstracts published in CCA.
ACA meetings are organised as a collection of special sessions on specific topics of interest, which solicit contributions individually.
Series webpage: "http://www.math.unm.edu/~aca/
Usually, extended abstracts are prepared before the meeting with an associated journal special issue for full papers afterwards.
ADG concerns research at the intersection between geometry and automated deduction, including symbolic computation.
The workshop is held every two years. Extended abstracts are prepared in advance for consideration, and full papers are submitted afterwards for the post proceedings, published as a volume of Springer Lecture Notes in Computer Science.
This conference series is concerned with AI research that makes use of symbolic computation.
Papers are submitted in advance of the meeting for consideration, with the Proceedings published as a volume of Springer Lecture Notes in Artificial Intelligence.
This series of conferences covers any research on the topic of doing mathematics using computers, including computer algebra.
Series website: http://www.mmrc.iss.ac.cn/ascm/
The CAI conference is held every two years and is at the intersection of theoretical computer science, algebra. Topics covered include automata theory, algebraic aspects of cryptography and coding theory, computational number theory, formal power series, and term rewriting, and quantum computing.
The CASA workshop is usually held within the annual International Conference on Computational Science.
CASC focuses on the impact of computer algebra in the field of scientific computation and its applications in the natural sciences and enginnering.
This webpage acts as a home for the series.
Full papers are submitted in advance of the meeting for consideration, with the Proceedings published as a volume of Springer Lecture Notes in Computer Science.
CICM examines the synergies between computer algebra, automated deduction, mathematical publishing and novel user interfaces.
Series webpage: http://www.cicm-conference.org
Full papers are submitted in advance of the meeting for consideration, with the Proceedings published as a volume of Springer Lecture Notes in Artificial Intelligence.
CICM usually consists of the following four tracks (with all but the final having a history prior to CICM):
This Spanish series of meetings Encuentros de Algebra Computacional y Aplicaciones covers research in the fields of Computer Algebra and Symbolic Computation. It is usually held every two years, with extended abstracts submitted before the meetings.
This annual event on the East Coast of the USA is a one day meeting for all those interested in computer algebra and symbolic computation. It usually consists of invited speakers and poster presentations.
Series webpage: http://www.sigsam.org/ECCAD/
Functional Equations in Limoges (FELIM 2016) is the ninth in a series of annual international gatherings for researchers in functional equations. Participantion is by 2-page abstract submitted in advance.
Series webpage: https://indico.math.cnrs.fr/event/919/page/3
FoCM conferences are held every three years and cover the entire spectrum of mathematical computation. They consist of plenary invited lecturesand and theme-centered parallel workshops who organise their own speakers.
The meetings are run by the FoCM Society whose website gives more information.
ICMS is dedicated to mathematical software, including computer algebra systems. It was previously held every 4 years as a satellite conference to the International Congress of Mathematicians (ICM). It now runs every 2 years to be alternately alongside ICM and the European Congress of Mathematics (ECM).
Participation is by extended abstract prepared in advance of the meeting submitted to themed session organisers.
MACIS is a series of conferences for foundational research on theoretical and practical problems of mathematics for computing and information processing.
Presenters are chosen by submission of papers or extended abstracts in advance. They are then invited to submit full papers for an associated issues of Mathematics in Computer Science after the meeting.
This conference series is devoted to computational and application aspects of Algebraic Geometry and related topics, over any characteristics. It is usually held every two years.
Presenters are chosen by submission of papers or extended abstracts in advance. They are then invited to submit full papers for an associated journal special issue after the meeting.
There is no webpage for the series, but this page gives a short history.
THis meeting alternates between Russia and Slovakia. Since the 2009 edition this conference series has included a session on computer algebra (prior to this computer algebra was represented in separate workshops).
The meeting consists of invited speakers and contributed short talks, chosen by submission of 1 page abstracts in advance.
This annual meeting at the The Euler International Mathematical Institute in Saint-Petersburg, Russia is devoted to polynomial algorithms in Computer Algebra. It consists of plenary talks and contributed talks, chosen by submission of extended abstract in advance.
PASCO is a workshop series dedicated to parallel algorithms and software in symbolic mathematical computation.
Papers are submitted in advance and the proceedings usually published with the ACM.
Series webpage: http://www.sigsam.org/PASCO/
SC2 brings together researchers from the two communities of Satisfiability Checking (who develop SAT and SMT solvers) and Symbolic Computation (who develop Computer Algebra Systems).
The workshop is currently being held annually funded by the EU H2020 Project SC2. The workshop plans to continue after the lifecycle of the project.
SCSS promotes research on theoretical and practical aspects of symbolic computation in software sciences. It aims for dialog between researchers in: computer algebra, algebraic geometry, algorithmic combinatorics, computational logic, and software analysis and verification. The series started out promoting collaboration between groups in Austria, Tunisia and Japan and has now grown to an international symposium.
Submission is either a Short, Regular and Tool (software) paper, with proceedings distributed at the meeting. Full papers can later be considered for special issues of the Journal of Symbolic Computation (see Volume 45, Issue 5, 2010 and Volume 69, 2015).
SIAM:AG brings together academic and industrial researchers of algebraic geometry, including work in symbolic computation.
This conference is held every two years and run by the SIAM Algebraic Geometry Activity Group.
Consists of invited speakers and minisymposium which solicit contributed talks.
SNC focusses on techniques that combine symbolic and numeric computation, the synergy between the fields and the problems they can tackle together.
Papers are submitted in advance and proceedings published by the ACM.
Series webpage: http://symbolic-numeric-computation.org
SYNASC is an annual conference which aims to stimulate interaction between the communities of symbolic and numeric computing. It takes place annually in Timisoara, Romania and is jointly organised with the Research Institute for Symbolic Computation (RISC), Austria.
Papers are submitted in advance and if accepted, a revised edition is published by IEEE in post-proceedings.
Series webpage: http://synasc.ro/
This series brings together researchers in coding theory and computer algebra.
Series webpage: http://www.irit.fr/ACTIVITES/AAECC/conf.htm
A European series on algorithms to solve algebraic and geometric problems, their complexity, and implementation in computer algebra systems.
The regular ISSAC conference was directly proceeded by a series of annual conferences with names SYMSAC, EUROCAL, EUROSAM and EUROCAM.