Symbolic computation in software science: Foreword from the editor

摘要

The series of workshops on Symbolic Computation in Software Science has been initiated by the research groups of Bruno Buchberger at RISC, Johannes Kepler University of Linz, Tetsuo Ida at the University of Tsukuba, and Masahiko Sato at Kyoto University. As the name suggests, the focus of the series is on applications of symbolic computation techniques in various areas of software science. The first workshop has been organized in the Castle of Hagenberg in July 2008. Following an open call afterwards, we received 15 submissions for this issue, five of which have been selected after rigorous reviewing.