• Symbolic computation for software science
  • September 8–10, 2021
  • Virtual
  • RISC, JKU Linz, Austria

Publication

The proceedings of SCSS 2021 have been published as volume 342 of Electronic Proceedings in Theoretical Computer Science (EPTCS). The official link is https://doi.org/10.4204/EPTCS.342, which is mirrored at http://eptcs.org/content.cgi?SCSS2021. (Alternatively, see also https://arxiv.org/html/2109.02501.) The entire proceedings in the PDF format can be downloaded from http://eptcs.org/Published/SCSS2021/Proceedings.pdf.

Short and work-in-progress papers have been published as RISC Technical Report 21-16. DOI 10.35011/risc.21-16.

A special issue of Annals of Mathematics and Artificial Intelligence (AMAI) will be organized after the symposium. Submitted full-length papers will be refereed according to the usual standards of the journal.