July 5-6, 2013 | Castle of Hagenberg, Austria

Site Search

Important Dates

Submission Instructions

Submissions are invited in two categories: regular research papers and tool papers.

It is expected that each accepted paper will be presented at the meeting by one of its authors.

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


The proceedings will be published in the EasyChair Proceedings in Computing. It will appear also as a RISC technical report. After the symposium, authors of accepted papers at SCSS 2013 will be invited to submit an extended version of their paper to the special issue of the Journal of Symbolic Computation on SCSS. Submitted papers to the JSC special issue will undergo an additional reviewing.