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

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.linalg.org/eccadconference/

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

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 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 is usually held every 4 years as a satellite conference to the International Congress of Mathematicians.

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

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.