THIRD INTERNATIONAL WORKSHOP
ON SYMBOLIC COMPUTATION IN SOFTWARE SCIENCE
July 29-30, 2010
RISC (Research Institute for Symbolic Computation)
Johannes Kepler University Linz
Castle of Hagenberg, Austria
A Workshop in the Frame of RISC Summer 2010
SCOPE AND AIMS
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
In this workshop, we concentrate on the application of symbolic
algorithms to software science. Topics of the workshop include:
* theorem proving methods and techniques * algorithm (program) synthesis * algorithm (program) verification * formal methods for the analysis of network security * termination analysis of algorithms (programs) * complexity analysis of algorithms (programs) * extraction of specifications from algorithms (programs) * generation of inductive assertion for algorithms (programs) * algorithm (program) transformations * component-based programming * computational origami * query languages (in particular for XML documents) * semantic web
This workshop 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.
The Workshop grew out of internal workshops that bring
together researchers from
* SCORE (Symbolic Computation Research Group) at University of
* Theorema Group at Research Institute for Symbolic Computation,
Johannes Kepler University Linz, Austria,
* SSFG (Software Science Foundation Group) at Kyoto University,
* Sup'Com (Higher School of Communication of Tunis) at University
of November 7th at Carthage, Tunisia.
SCSS is open for the international community and welcomes
* Andrei Voronkov (University of Manchester, UK) * John Harrison (Intel Corporation, USA)
* April 08, 2010: Deadline for extended abstract submission. * May 15, 2010: End of the reviewing process * May 20, 2010: Notification. * June 20, 2010: Final version of full paper submission. * July 29-30, 2008: Workshop.
Submitted extended abstracts will be peer-reviewed.
Based on the acceptance, authors will be invited to submit
full papers which will appear in the working proceedings of the
conference (published as RISC technical report).
At the workshop, it will be decided whether a special issue
of the Journal of Symbolic Computation with full versions
of selected papers will be published after the workshop.
Submission page at EasyChair:
* Bruno Buchberger (RISC, Johannes Kepler University Linz, Austria) * Tetsuo Ida (University of Tsukuba, Japan)
* Tudor Jebelean (RISC, Johannes Kepler University Linz, Austria) * Mohamed Mosbah (University of Bordeaux, France)
* Adel Bouhoula(University of November 7th at Carthage, Tunisia) * Bruno Buchberger (Johannes Kepler University of Linz, Austria) * Adrian Craciun (IeAT, West University of Timisoara, Romania) * Martin Giese (University of Oslo, Norway) * Hoon Hong (North Carolina State University, USA) * Tetsuo Ida (University of Tsukuba, Japan) * Atsushi Igarashi (Kyoto University, Japan) * Tudor Jebelean (Johannes Kepler University of Linz, Austria) * Laura Kovacs (Technical University of Vienna, Austria) * Yukiyoshi Kameyama (University of Tsukuba, Japan) * Temur Kutsia (Johannes Kepler University of Linz, Austria) * Alexander Letychevsky (Glushkov Institute of Cybernetics, Kyiv, Ukraine) * Aart Middeldorp (University of Innsbruck, Austria) * Yasuhiko Minamide (University of Tsukuba, Japan) * Mohamed Mosbah (University of Bordeaux, France) * Florina Piroi (Johannes Kepler University of Linz, Austria) * Nikolaj Popov (Johannes Kepler University of Linz, Austria) * Michael Rusinowitch (INRIA Lorraine, France) * Masahiko Sato (Kyoto University, Japan) * Wolfgang Schreiner (Johannes Kepler University of Linz, Austria) * Hiroyuki Toh (Kyushu University, Japan) * Yahya Slimani (University El Manar Tunis, Tunisia)
* Nikolaj Popov * Tudor Jebelean