SCSS 2012 - International Symposium on Symbolic Computation in Software Science

Symbolic computation is the science of computing with symbolic objects (terms, formulae, programs, algebraic objects, geometrical objects, etc). Powerful symbolic algorithms have been developed during the past decades and have played an influential role in theorem proving, automated reasoning, software verification, model checking, rewriting, formalisation of mathematics, network security, Groebner bases, characteristic sets, etc.
The international Symposium on "Symbolic Computation in Software Science" is the fourth in the SCSS workshop series. SCSS 2008 and 2010took place at the Research Institute for Symbolic Computation (RISC), Hagenberg, Austria, and, SCSS 2009 took place in Gammarth, Tunisia. These symposium grew out of internal workshops that bring together researchers from
SCORE (Symbolic Computation Research Group) at the University of Tsukuba, Japan,
Theorema Group at the 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 the University of Carthage, Tunisia.
These workshops have been successful and in this new edition, we would like to extend the range of symbolic computation methods in their applications. In this symposium, we solicit papers on all aspects of symbolic computations and their applications. The topics of the symposium include, but are not limited to the following:
automated reasoning
algorithm (program) synthesis and/or verification
formal methods for the analysis of network security
termination and/or complexity analysis of algorithms/programs
extraction of specifications from algorithms
theorem proving methods and techniques
proof-carrying code
generation of inductive assertion for algorithm (programs)
algorithm (program) transformations
formalisation and computerisation of knowledge (maths, medicine, economy, etc.)
component-based programming
computational origami
query languages (in particular for XML documents)
semantic web and cloud computing
SOFTWARE DEMO SCSS 2012 will provide an opportunity for developers of software related to symbolic computation, to promote their software systems. SCSS 2012 will have a special session for software systems descriptions where authors can present their projects and demonstrate their software. Submission in this category of software demo should have a link to project pages and ideally a downloadable software.