CASC 2020 · Sept. 14-18 · Linz, Austria


The accepted CASC 2020 papers are published in the Springer-Verlag series Lecture Notes in Computer Science, volume 12291.

Get online access to the proceedings here.

Conference Information

The tools of Scientific Computing play an important role in the natural sciences and engineering. Computer Algebra Systems and the underlying algorithms for Symbolic Computation play an increasingly important role within Scientific Computation. The CASC workshop series has been running for over two decades to explore the interaction of these topics, their implementation, and their application.


The topics addressed in the workshop cover

1. The theory of symbolic computation and its implementation in computer algebra systems.
This includes, but is not limited to:

  • new methods on exact computation;
  • symbolic algorithms and their complexity;
  • automated reasoning in algebra and geometry;
  • parallel symbolic / symbolic-numeric computation;
  • symbolic / symbolic-numeric methods for differential, differential-algebraic and difference equations;
  • symbolic / symbolic-numeric methods for polynomial equations and inequalities;
  • the embedding of computer algebra technology within different software and hardware environments;

2. All other areas of scientific computing in regards to their benefit from or use of computer algebra methods and software.
This includes, but is not limited to:

  • the use of computer algebra in approximate computation;
  • computer algebra methods in big data analytics;
  • computer algebra methods for simulation and modeling;

3. Applications of the above throughout the natural sciences and engineering.

We welcome papers on both fundamental research and implementation issues. We also accept survey papers but these MUST BE CLEARLY LABELLED as such in the title.


We encourage wide participation at the workshop. In light of this, and that the conference scope spans computer science and mathematics (with their different publication traditions), we offer a variety of participation options.

1. Participation with an accompanying paper in LNCS:

CASC has a long running relationship with the Springer book series Lecture Notes in Computer Science to publish conference proceedings. Work submitted here should contain an original research result. Submissions should be prepared in the LNCS style and not exceed 20 pages. Survey papers may have up to 25 pages.

2. Participation with abstract only:

Participants may opt to submit an extended abstract instead. These should have at least 2 and at most 4 pages in the LNCS style. They must contain the main results of the talk (without proofs). They will be lightly reviewed and distributed locally at the conference. We see three main audiences for this option:

  • Those who wish to talk on previously published work (in which case that work should be clearly cited in the abstract).
  • Those whose work is not yet ready for publication, but wish toreceive feedback.
  • Those who plan to submit a journal paper on the work shortly.

For the third group, there will be a subsequent journal special issue call after the conference (see below).


CASC has formed a relationship with the Springer Birkhäuser journal Mathematics in Computer Science (MCS) for an ongoing series of special issues on topics presented at CASC workshops. Work submitted here must be of journal quality and will be reviewed to the usual standards of MCS. Submission will be opened after the conference for authors of extended abstracts presented at that years conference. There is no a priori page limit, but the length must be justified by the contents of the paper. At notification authors may be asked to revise their paper for a secondary deadline.


All submissions should be done via easychair:
SUBMIT: https://www.easychair.org/conferences/?conf=casc2020

In the easychair title field please prefix the paper title in the easychair metadata with either LNCS or EA to indicate which of the participation options is being used.

Conference Venue and Social Program

CASC 2020 is hosted from the Johannes Kepler University (JKU) Linz, Austria. The conference will be held online 14-18 September 2020 starting at 14:00 CEST (UTC+2h) until around 18:00 CEST (UTC+2h). The detailed program will be available on this website and instructions on the video conferencing software ZOOM will follow for registered participants in the week before the conference.

Invited Talks

We are proud to present exceptional researchers who will give invited talks at CASC conference.
Please find here the invited talks at CASC 2020

Important Dates

  • Deadline for regular/speaker registration: Monday 7th September 2020
  • Deadline for minimal registration: until the online conference
  • Online conference: 14-18 September 2020
  • Deadline for submission to MCS Special Issue: Sunday 4th October 2020
  • Deadline for submission to conference: Monday 8th June 2020
  • Notification of acceptance: Monday 16th July 2020
  • Deadline for final version: Monday 30th July 2020