The international workshop on "Symbolic Computation in Software Science" is the third in the SCSS workshop series. SCSS 2008 took place at the Research Institute for Symbolic Computation (RISC), Hagenberg, Austria, and, SCSS 2009 took place in Gammarth, Tunisia. These workshops were quite successful. For the next issue of this conference, we would like to extend the range of symbolic computation methods in their applications.
The Workshop grew out of internal workshops that bring together researchers from
SCSS'10 will be held at the RISC Institute, which has a long tradition in symbolic methods and, in addition, has nice conference facilities including our "RISC Castle", an 800 years old remodeled medieval building with nice restaurant.
Symbolic Computation is the science of computing with symbolic objects (terms, formulae, programs, representations of algebraic objects etc.). Powerful symbolic algorithms have been developed during the past decades like resolution proving, model checking, provers for various inductive domains, rewriting techniques, cylindric algebraic decomposition, Groebner bases, characteristic sets, telescoping for recurrence relations, etc.
In this workshop, we concentrate on the application of symbolic algorithms to software science. Topics of the workshop include:
SCSS'10 is a part of RISC Summer 2010.