Computer Algebra Conferences

This page lists meetings and conference series of interest to SIGSAM members. To request an addition or update regarding your conference please email InfoDir_SIGSAM@acm.org.

SIGSAM regularly sponsors conferences and special sessions of conferences. We have a number of flexible sponsorship options which provide many scientific, publication and financial benefits and encourage conference organizers to discuss these possibilities with the SIGSAM Chair.

Upcoming Conferences

  • MEGA 2015 will be held in Povo (Trento), Italy on 15-19 June, 2015.
  • ISSAC 2015 will be held in Bath, UK on 6-9 July 2014.
  • PASCO 2015 will be held in Bath, UK on 10-12 July 2015.
  • CICM 2015 will be held in Washington DC, USA on 13-17 July 2015.
  • CoCoA15 will be held in Fort Collins, Colorado, USA on 19-25 July 2015.
  • ACA 2015 will be held in Kalamata, Greece on 20-23 July 2015.
  • SIAM AG:15 will be held in Daejeon, South Korea 3-7 August 2015.
  • CASC 2015 will be held in Kassel, Germany on 14-18 September 2015.

A guide to conference series relevant to SIGSAM now follows.

ISSAC: International Symposium on Symbolic and Algebraic Computation

ISSAC is the premier annual conference for new research in symbolic mathematical computation. It is regularly sponsored by ACM SIGSAM.

  • ISSAC 2015 will be held at The University of Bath, Bath, UK on 6-9 July 2014.
  • The webpage for the conference series includes a record of previous meetings.
  • The official ACM archive of ISSAC proceedings (1989--present) can be found here.

ACA: Conference on Applications of Computer Algebra

ACA meetings are organised as a collection special sessions on specific topics of interest, which solicit papers individually.

  • The main ACA web site has more details, including links to previous meetings.
  • ACA 2015 will be held in Kalamata, Greece on 20-23 July 2015.

CASC: International Workshop on Computer Algebra in Scientific Computing

CASC focuses on the impact of computer algebra in the field of scientific computation and its applications in the natural sciences and enginnering.
  • CASC 2015 will be held at the University of Kassel, Kassel, Germany on 14-18 September 2015.
  • Proceedings are usually published as a volume of Springer Lecture Notes in Computer Science.
  • This page contains a record of previous CASC meetings.

CICM: Conferences on Intelligent Computer Mathematics

CICM examines the synergies between computer algebra, automated deduction, mathematical publishing and novel user interfaces.

  • CICM 2015 will be held in Washington DC, USA on 13-17 July 2015.
  • The webpage for the conference series includes a record of previous meetings.
  • Proceedings are usually published as a volume of Springer Lecture Notes in Artificial Intelligence.
The meeting has the following four tracks (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
  • 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.

MEGA: Conference on Effective Methods in Algebraic Geometry

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.

  • MEGA 2015 will be held at The University of Trento, Povo (Trento), Italy on 15-19 June, 2015.
  • A history of previous MEGA conferences available here.

PASCO: International Workshop on Parallel Symbolic Computation.

PASCO is a workshop series dedicated to parallel algorithms and software in symbolic mathematical computation.

  • PASCO 2015 will be held in at The University of Bath, Bath, UK on 10-12 July 2015.
    It immediately follows ISSAC 2015.
  • PASCO 2010. Grenoble, France. July 21-23, 2010.
  • PASCO'07. London, Ontario, Canada. 2007
  • PASCO'97. Maui, Hawaii, USA. 1997.
  • PASCO'94. RISC, Linz, Austria, 1994.
  • CAP '88. Computer Algebra and Parallelism, Grenoble, France. Academic Press ISBN 0-12-209042-x.

SIAM AG: SIAM Conference on Applied Algebraic Geometry

SIAM:AG brings together academic and industrial researchers of algebraic geometry, including work in symbolic computation. This conference is held every two years.

  • SIAM AG13, Colorado State University, Fort Collins, Colorado, USA.
  • SIAM AG11, North Carolina State University, Raleigh, North Carolina, USA.

ADG: International Workshop on Automated Deduction in Geometry

ADG concerns research at the intersection between geometry and automated deduction, including symbolic computation. The workshop is held every two years and proceedings are usually published as a volume of Springer Lecture Notes in Computer Science.

  • ADG 2014 was held at Coimbra, Portugal on 9-11 July 2014.
  • A history of previous ADG Workshops is available here.

AISC: Artificial Intelligence and Symbolic Computation

This conference series is concerned with AI research that makes use of symbolic computation and is held every two years.

  • AISC 2014 was held in Sevilla, Spain on 11-13 December 2014.
  • AISC 2012, Bremen, Germany (as part of CICM 2012).
  • AISC 2010, Paris, France (as part of CICM 2010).
  • AISC 2008, Birmingham, UK (as part of CICM 2008).
  • AISC 2006, Beijing, China.
  • AISC 2004, Hagenberg, Austria.
  • AISC 2002, Marseille, France.
  • AISC 2000, Madrid, Spain.
  • AISC 1998, Plattsburgh, USA.
  • AISMC-3: Steyr, Austria, 1996.
  • AISMC-1: Karlsruhe, Germany, 1992.
  • AISMC-2: Cambridge, UK, 1994.

EACA: Meetings on Computer Algebra and Applications

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.

  • EACA 2014 was held at The Institute of Catalonian Studies, Barcelona, Spain on 18-20 June 2014.
  • A history of previous EACA conferences available here.

ECCAD: The East Coast Computer Algebra Day

The East Coast is a one day meeting for those interested in computer algebra and symbolic computation.

  • The webpage for the series gives more details and links to previous meetings.
  • ECCAD 2014 was held at Duke University, Durham, North Carolina, USA on 26th April 2014.

FoCM: Foundations of Computational Mathematics Conference

FoCM conferences are held every three years and cover the entire spectrum of mathematical computation.

  • 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, U.K.
  • FoCM 1997. IMPA, Rio de Janeiro, Brazil.

ICMS: International Congress on Mathematical Software

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.

  • ICMS 2014 was held at Hanyang University, Seoul, South Korea on 5-9 August 2014.

SNC: International Workshop on Symbolic-Numeric Computing

SNC focusses on techniques that combine symbolic and numeric computation, the synergy between the fields and the problems they can tackle together.
  • SNC 2014 was held in Shanghai, China on 28-31 July 2014.

CASA: International workshop on Computer Algebra Systems and their Applications

The CASA workshop is usually held within the annual International Conference on Computational Science.

MACIS: Mathematical Aspects of Computer and Information Sciences

MACIS is a series of conferences where foundational research on theoretical and practical problems of mathematics for computing and information processing may be presented and discussed.

ASCM: Asian Symposium on Computer Mathematics

This series of conferences covers any research on the topic of doing mathematics using computers, including computer algebra.

RWCA: The Rhine Workshop on Computer Algebra

AAECC: International Conference on Applied Algebra and Error-Correcting Codes

  • AAECC-15: Toulouse, France, 2003. Proceedings in LNCS 2643.
  • AAECC-14: Melbourne, Australia, 2001. Proceedings in LNCS 2227.
  • AAECC-13: Hawaii, USA, 1999. Proceedings in LNCS 1719.
  • AAECC-12: Toulouse, France. Proceedings LNDS 1255. 1997.
  • AAECC-11: July 1995 Paris, France Proceedings: Cohen G., Giusti M., Mora T. Editors, Lecture notes in computer science 948, 1995
  • AAECC-10: May 1993 San Juan de Puerto Rico, Puerto Rico Proceedings: Cohen G., Mora T., Moreno O. Editors, Lecture Notes in Computer Science 673, Springer, 1993
  • AAECC-9: October 1991 New Orleans, USA Proceedings: Mattson H.F., Mora T., Rao T.R.N. Editors, Lecture Notes in Computer Science 539, Springer, 1991
  • AAECC-8: August 1990 Tokyo, Japan Proceedings: sakata S. Editor, Lecture Notes in Computer Science 508, Springer, 1991
  • AAECC-7 Proccedings: North-Holland, Amsterdam
  • AAECC-6: July 1988 Rome, Italy. Proceedings: Mora T. Editor, Lecture Notes in Computer Science 357, Springer, 1989
  • AAECC-5: June 1987 Menorca, Spain Proceedings: Huguet L., Poli A. Editors, Lecture Notes in Computer Science 356, Springer, 1989
  • AAECC-4: September 1986 Karlsruhe, Germany Proceedings: Beth T. Clausen M.Editors, Lecture Notes in Computer Science 307, Springer, 1988
  • AAECC-3: July 1985 Grenoble, France Proceedings: Calmet J. Editor, Lecture Notes in Computer Scienc 229, Springer, 1986
  • AAECC-2: October 1984 Toulouse, France Proceedings: Poli. A. Editor, Lecture Notes in Computer Science 228, Springer, 1984.
  • AAECC-1 June 1983, Toulouse, France. Proceedings in Discrete Math 56, 1985.

Annual Computer Algebra Conferences pre-ISSAC

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

  • EUROCAL '87. Proceedings of the 1987 European Conference on Computer Algebra. J. H. Davenport (Editor). Leipzig, GDR. Springer-Verlag Lecture Notes in Computer Science, Vol. 378. (Table of contents).
  • SYMSAC '86. Proceedings of the 1986 Symposium on Symbolic and Algebraic Computation. B. Char (Editor). ACM Press.
  • EUROCAL '85. Proceedings of the 1985 European Conference on Computer Algebra, Vol. I. B. Buchberger (Editor). Linz, Austria. Springer-Verlag Lecture Notes in Computer Science, Vol. 203. (Table of contents).
  • EUROCAL '85. Proceedings of the 1985 European Conference on Computer Algebra, Vol. II. B. F. Caviness (Editor). Linz, Austria. Springer-Verlag Lecture Notes in Computer Science, Vol. 204. (Table of contents).
  • EUROSAM '84. Proceedings of the 1984 International Symposium on Symbolic and Algebraic Manipulation, J. Fitch (Editor). Cambridge, England. Springer-Verlag Lecture Notes in Computer Science, Vol. 174. (Table of contents).
  • EUROCAL '83. Proceedings of the 1983 European Conference on Computer Algebra. J. A. van Hulzen (ed.). London, England. Springer-Verlag Lecture Notes in Computer Science, Vol. 162. (Table of contents)
  • EUROCAM '82. Proceedings of the 1982 European Computer Algebra Conference. J. Calmet, (Editor). Marseilles, France. Springer-Verlag Lecture Notes in Computer Science, Vol. 144.
  • SYMSAC '81. Proceedings of the 1981 ACM Symposium on Symbolic and Algebraic Computation. P. S. Wang (Editor), ACM Press, New York, 1981.
  • EUROSAM '79. Proceedings of the 1979 International Symposium on Symbolic and Algebraic Manipulation. E. W. Ng, (Editor). Marseilles, France. Springer-Verlag Lecture Notes in Computer Science, Vol. 72. (Table of contents)
  • SYMSAC '76. Proceedings of the 1976 ACM Symposium on Symbolic and Algebraic Computation. R. D. Jenks (ed.), ACM Press, New York, 1976.
  • SYMSAM '71. Proceedings of the 1971 Second Symposium on Symbolic and Algebraic Manipulation, S. R. Petrick (ed.), ACM Press, New York, 1971.

MACSYMA Users' Conference

  • MACSYMA '84 V. E. Golden (Editor), Proceedings of the Third MACSYMA Users' Conference, Schenectady, New York, 1984.
  • MACSYMA '79 V.E. Lewis (Editor), Proceedings of the 1979 MACSYMA Users' Conference, Schenectady, Washington DC, MIT Laboratory for Computer Science.
  • MACSYMA '77 Proceedings of the 1977 MACSYMA Users' Conference, Berkeley, CA, NASA CP-2012

Computers and Mathematics

  • Computers and Mathematics, MIT, Cambridge, Massachusetts, 1989.
  • Computers and Mathematics, Stanford, California, 1986.
  • Computers and Mathematics, New York NY. 1983.