Active series Inactive series

SIGSAM Conference Series Guide / Archive

This page has a dual purpose:

  1. to serve as a guide to existing conference series in symbolic computation and computer algebra; and
  2. to act as an archive for past meetings.
Separately, the Upcoming Conferences page lists chronologically any meetings taking place soon. You may also be interested in our pages on Journals and Books.

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.

ISSAC was directly proceeded by a series of annual conferences with the names SYMSAC, EUROCAL, EUROSAM and EUROCAM. Click here for details.

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):

  • Calculemus: dedicated to the integration of computer algebra systems with systems for mechanized reasoning such as interactive proof assistants and automated theorem provers. Calculemus Website
    • Calculemus 2007, Hagenberg, Austria.
    • Calculemus 2006, Genova, Italy.
    • Calculemus 2005, Newcastle upon Tyne, UK.
    • Calulemus 2004, Cork, Ireland.
    • Calculemus 2003, Roma, Italy.
    • Calculemus 2002, Marseille Luminy, France.
    • Calculemus 2001, Siena, Italy.
    • Calculemus 2000, St. Andrews, Scotland.
    • Calculemus 1999, Trento, Italy.
    • Calculemus 1998, Eindhoven, The Netherlands.
    • Calculemus 1997, IRST, Italy.
  • Digital Mathematical Libraries: a forum for the development of math-aware technologies, standards, algorithms and formats towards a global digital mathematical library.
  • Mathematical Knowledge Management: the aim here is to develop new and better ways of managing sophisticated mathematical knowledge, based on innovative technology of computer science, the Internet, and intelligent knowledge processing. MKM Website
  • Systems and Data: A forum to publish digital resources whose value cannot be adequately represented by a printed paper alone.
Additionally, each year there is a doctoral program where students both present their research and get personalised feedback from experts in their field.

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/

  • ECCAD 2017, Wolfram Research in Champaign, Illinois, USA.
  • ECCAD 2015, Fields Institute, Toronto, Canada.
  • ECCAD 2014, Duke University, Durham, North Carolina.
  • ECCAD 2013, United States Naval Academy, Annapolis, Maryland.
  • ECCAD 2012, Oakland University, Rochester, Michigan.
  • ECCAD 2011, University of Waterloo, Waterloo, Ontario.
  • ECCAD 2010, Emory University, Atlanta, Georgia.
  • ECCAD 2009, University of Rhode Island, Kingston, Rhodes Island.
  • ECCAD 2008, Shepherd University, Sheperdstown, WV.
  • ECCAD 2007, Washington College, Chestertown, PA.
  • ECCAD 2006, Drexel U, Philadelphia, PA.
  • ECCAD 2005, Ashland U, Ashland, Ohio.
  • ECCAD 2004, Wilfrid Laurier U, Waterloo, Ontario.
  • ECCAD 2003, Clemson U, Georgia.
  • ECCAD 2002, City College of New York.
  • ECCAD 2001, Florida State U. Tallahassee.
  • ECCAD 2000, U. of Western Ontario, London, ON.
  • ECCAD 1999, North Carolina State University, Raleigh.
  • ECCAD 1998, Naval Academy, Annapolis.
  • ECCAD 1997, Northeastern University, Boston.
  • ECCAD 1996, IBM Watson Research Center, Yorktown Heights.
  • ECCAD 1995, Smith Hall, U. of Delaware, Newark DE.
  • ECCAD 1994, Drexel U, Philadelphia.

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.

  • FoCM 2020, Simon Fraser University, Vancouver, Canada (Cancelled due to COVID19).
  • FoCM 2017, University of Barcelona, Barcelona, Spain.
  • FoCM 2014, Universidad de la Republica, Montevideo, Uruguay.
  • FoCM 2011, Budapest University of Technology and Economics, Budapest, Hungary.
  • FoCM 2008, City University of Hong Kong, China.
  • FoCM 2005, Universidad de Cantabria, Santander, Spain.
  • FoCM 2002, University of Minnesota, Minneapolis, USA.
  • FoCM 1999, Oxford University, Oxford, UK
  • FoCM 1997, IMPA, Rio de Janeiro, Brazil.

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.

  • MEGA 2021, Tromso, Norway (Online due to COVID19)
  • MEGA 2019, Madrid, Spain
  • MEGA 2017, Nice, France
  • MEGA 2015, Trento, Italy
  • MEGA 2013, Frankfurt, Germany
  • MEGA 2011, Stockholm, Sweden
  • MEGA 2009, Barcelona, Spain
  • MEGA 2007, Strobl, Austria
  • MEGA 2005, Porto Conte, Italy
  • MEGA 2003 Kaiserslautern, Germany
  • MEGA 2000, Bath, UK
  • MEGA 1998, St. Malo, France
  • MEGA 1996, Eindhoven, Netherlands
  • MEGA 1994, Santander, Spain
  • MEGA 1992, Nice, France
  • MEGA 1990, Castiglioncello, Italy

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.

Series Website

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).

  • SCSS 2017 8th International Symposium on Symbolic Computation in Software Science, Gammarth, Tunisia.
    Proceedings (EPiC Series in Computing 45)
  • SCSS 2016 7th International Symposium on Symbolic Computation in Software Science, Ochanomizu University, Tokyo, Japan.
    Proceedings (EPiC Series in Computing 39)
  • SCSS 2014 6th International Symposium on Symbolic Computation in Software Science, Gammarth, Tunisia.
  • SCSS 2013 5th International Symposium on Symbolic Computation in Software Science, Castle of Hagenberg, Austria.
  • SCSS 2012 4th International Symposium on Symbolic Computation in Software Science, Gammarth, Tunisia.
  • SCSS 2010 International Workshop on Symbolic Computation in Software Science, Castle of Hagenberg, Austria.
  • SCSS 2009 Tunisia-Japan Workshop on Symbolic Computation in Software Science, Gammarth, Tunisia.
  • SCSS 2008 Austrian-Japanese Workshop on Symbolic Computation in Software Science, Castle of Hagenberg, Austria.

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

  • AAECC-18, 2009, Tarragona, Spain. Proceedings in Springer 5527.
  • AAECC-17, 2007, Bangalore, India. Proceedings in LNCS 4851.
  • AAECC-16, 2006, Las Vegas, USA. Proceedings in LNCS 3857.
  • AAECC-15, 2003, Toulouse, France. Proceedings in LNCS 2643.
  • AAECC-14, 2001, Melbourne, Australia. Proceedings in LNCS 2227.
  • AAECC-13, 1999, Hawaii, USA. Proceedings in LNCS 1719.
  • AAECC-12, 1997, Toulouse, France. Proceedings LNDS 1255.
  • AAECC-11, 1995, Paris, France. Proceedings in LNCS 948
  • AAECC-10, 1993, San Juan de Puerto Rico, Puerto Rico. Proceedings in LNCS 673.
  • AAECC-9, 1991, New Orleans, USA. Proceedings in LNCS 539.
  • AAECC-8, 1990, Tokyo, Japan. Proceedings in LNCS 508.
  • AAECC-7, 1989, Toulouse, France. Proceedings in Discrete Applied Math 33 (1991).
  • AAECC-6, 1988, Rome, Italy. Proceedings in LNCS 357
  • AAECC-5, 1987, Menorca, Spain Proceedings in LNCS 356.
  • AAECC-4, 1986, Karlsruhe, Germany. Proceedings in LNCS 307.
  • AAECC-3, 1985, Grenoble, France. Proceedings in LNCS 229.
  • AAECC-2, 1984, Toulouse, France. Proceedings in LNCS 228.
  • AAECC-1, 1983, Toulouse, France. Proceedings in Discrete Math 56 (1985).
  • Computers and Mathematics, MIT, Cambridge, Massachusetts, 1989.
  • Computers and Mathematics, Stanford, California, 1986.
  • Computers and Mathematics, New York NY. 1983.
  • MACSYMA 1984, Schenectady, New York. V.E. Lewis (Editor), V. E. Golden (Editor), Proceedings of the Third MACSYMA Users' Conference, Schenectady, New York, 1984.
  • MACSYMA 1979, Schenectady, Washington DC V.E. Lewis (Editor), Proceedings of the 1979 MACSYMA Users' Conference, Schenectady, Washington DC, MIT Laboratory for Computer Science.
  • MACSYMA 1977, Berkeley, CA. Proceedings of the 1977 MACSYMA Users' Conference, Berkeley, CA, NASA CP-2012

A European series on algorithms to solve algebraic and geometric problems, their complexity, and implementation in computer algebra systems.

  • RWCA 2008, Levico Terme, Italy.
  • RWCA 2006, Basel, Switzerland.
  • RWCA 2004, Nijmegen, The Netherlands.
  • RWCA 2002, Mannheim, Germany.
  • RWCA 2000, Bregenz, Austria.
  • RWCA 1998, Sankt Augustin, Germany.
  • RWCA 1996, Saint-Louis, France.

The regular ISSAC conference was directly proceeded by a series of annual conferences with names SYMSAC, EUROCAL, EUROSAM and EUROCAM.

  • EUROCAL 1987, Leipzig, GDR.
    Proceedings of the 1987 European Conference on Computer Algebra. J. H. Davenport (Editor). Springer-Verlag Lecture Notes in Computer Science, Vol. 378. (Table of contents).
  • SYMSAC 1986, Waterloo, Canada
    Proceedings of the 1986 Symposium on Symbolic and Algebraic Computation. B. Char (Editor). ACM Press. Online Proceedings.
  • EUROCAL 1985, Linz, Austria.
    Proceedings of the 1985 European Conference on Computer Algebra. Vol. I B. Buchberger (Editor), Vol. II. B. F. Caviness (Editor). Springer-Verlag Lecture Notes in Computer Science Vol. 203 and Vol. 204. (Table of contents).
  • EUROSAM 1984, Cambridge, England.
    Proceedings of the 1984 International Symposium on Symbolic and Algebraic Manipulation, J. Fitch (Editor). Springer-Verlag Lecture Notes in Computer Science, Vol. 174. (Table of contents).
  • EUROCAL 1983, London, England.
    Proceedings of the 1983 European Conference on Computer Algebra. J. A. van Hulzen (ed.). Springer-Verlag Lecture Notes in Computer Science, Vol. 162. (Table of contents)
  • EUROCAM 1982, Marseilles, France.
    Proceedings of the 1982 European Computer Algebra Conference. J. Calmet, (Editor). Springer-Verlag Lecture Notes in Computer Science, Vol. 144.
  • SYMSAC 1981, Snowbird, Utah, USA.
    Proceedings of the 1981 ACM Symposium on Symbolic and Algebraic Computation. P. S. Wang (Editor), ACM Press, New York, 1981. Online Proceedings.
  • EUROSAM 1979, Marseilles, France.
    Proceedings of the 1979 International Symposium on Symbolic and Algebraic Manipulation. E. W. Ng, (Editor). Springer-Verlag Lecture Notes in Computer Science, Vol. 72. (Table of contents)
  • SYMSAC 1976, Yorktown Heights, New York, USA.
    Proceedings of the 1976 ACM Symposium on Symbolic and Algebraic Computation. R. D. Jenks (ed.), ACM Press, New York, 1976. Online Proceedings.
  • SYMSAM 1971, Los Angeles, USA.
    Proceedings of the 1971 Second Symposium on Symbolic and Algebraic Manipulation, S. R. Petrick (ed.), ACM Press, New York, 1971. Online Proceedings.
  • SYMSAM 1966, Washington, D.C., USA.
    Proceedings of the First ACM Symposium on Symbolic and Algebraic Manipulation. Online Proceedings.

Back to top

    © 2021 SIGSAM