SCSS


Overview

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 for the areas such as theorem proving, automated reasoning, software verification, model checking, rewriting, formalization of mathematics, network security, Groebner bases, cylindrical algebraic decomposition, characteristic sets, telescoping for recurrence relations, etc.

The purpose of the International Symposium on Symbolic Computation in Software Science - SCSS is to promote research on theoretical and practical aspects of symbolic computation in software sciences. The symposium provides a forum for active dialog between researchers from several fields of computer algebra, algebraic geometry, algorithmic combinatorics, computational logic, and software analysis and verification.

The history of the SCSS starts from internal workshops that brought together researchers from the Theorema Group (leader: Bruno Buchberger) at RISC (Research Institute for Symbolic Computation, Johannes Kepler University, Linz - Hagenberg, Austria), SCORE (Symbolic Computation Research Group, University of Tsukuba, Japan. Group leader: Tetsuo Ida), and SSFG (Software Science Foundation Group, Kyoto University, Japan. Group leader: Masahiko Sato). Later, these workshops grew to involve researchers from the Digital Security Research Unit at the Higher School of Communication of Tunis, Sup'Com (University of Carthage, Tunisia), and the Tunisian Society for Digital Security (leader: Adel Bouhoula). Since 2012, SCSS is an international symposium.