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

Important Dates

  • May 18 May 31: title and single-paragraph abstract submission deadline (extended).
  • May 25 June 7: paper submission deadline (extended).
  • July 12: notification deadline.
  • July 19: submission deadline for short and work-in-progress papers.
  • July 25 July 27: notification for short and work-in-progress papers.
  • July 30: final paper submission deadline.
  • September 8-10, 2021: the symposium dates (virtual).

Submission Instructions

Original submissions are invited in two categories: regular research papers and tool papers. We recommend to use the EPTCS Class format to prepare manuscripts.

Regular research papers must not exceed 12 pages with up to 3 additional pages for technical appendices. Tool papers must not exceed 6 pages. They should include information about a URL from where the tool can be downloaded or accessed on-line.

Short and work-in-progress papers need not be original. Concurrent submission to another conference or a journal is allowed. Papers in this category are limited in length to 4 pages (without references) in the EPTCS format. The accepted ones will be presented at the symposium and will be included in a RISC Technical Report (but not in the SCSS 2021 proceedings).

Papers and abstracts have to be submitted via the EasyChair submission page: https://www.easychair.org/conferences/?conf=scss2021.

Publication

The proceedings of SCSS 2021 will be published in the Electronic Proceedings in Theoretical Computer Science (EPTCS).

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.