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
* SCORE (Symbolic Computation Research Group) at University of Tsukuba, Japan, * Theorema Group at Research Institute for Symbolic Computation, Johannes Kepler University Linz, Austria, * SSFG (Software Science Foundation Group) at Kyoto University, Japan, and * Sup'Com (Higher School of Communication of Tunis) at University of November 7th at Carthage, Tunisia.
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.
|Submissions:||April 8, 2010|
|Notification:||May 20, 2010|
|Event:||July 29, 2010-July 30, 2010|