SCSS 2016:Editor's Preface

This volume contains the papers presented at SCSS 2016: 7th International Symposium on Symbolic Computation in Software Science held on March 27-30, 2016 in Tokyo. The history of the SCSS starts from internal workshops that brought together researchers from the Theorema Group at RISC, Johannes Kepler University Linz, Austria, Symbolic Computation Research Group (SCORE) at the University of Tsukuba, Japan, and Software Science Foundation Group (SSFG) at Kyoto University, Japan. Later, these workshops grew to involve researchers from the Digital Security Research Unit at the University of Carthage, Tunisia. Since 2012, SCSS has been an international symposium. It 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.

There were 17 submissions. Each submission was reviewed by at least 3, and on the average 3.5, programme committee members. The committee decided to accept 14 papers. In addition there were two invited talks Symbolic Surprises – Unexpected Computational Findings in Combinatorics, Number Theory, and Special Functions by Peter Paule from Johannes Kepler University Linz, Austria and Collaborative Theorem Proving: From Symbolic to Social Computation by Jacques Fleuriot from Edinburgh University, UK. There were also two tutorials on Symbolic computation by Xavier Dahan from Ochanomizu University, and from Maplesoft. We feel honoured that Prof. Bruno Buchberger gave the keynote talk: The Global Math Digital Library Project: Symbolic Computation and Software Science.

The SCSS Community would like to thank the Programme Committee members and all the sub-reviewers for their contribution in the review process. We are grateful to the Department of Computer Science, Ochanomizu University for hosting SCSS2016. We are also grateful to EasyChair, which was used for both the refereeing and the publication of the proceedings, and to Andrei Voronkov for his support. This symposium is partially supported by JSPS KAKENHI Grant Number 25330007.


Personally, I am extremely grateful to the General Chair Tetsuo Ida (University of Tsukuba, Japan) for inviting me and for his support, and to the Local Arrangements Committee, especially its Chair Fadoua Ghourabi (Ochanomizu University, Japan) for all her contributions to the programme, both the abstract intellectual programme and converting that into a concrete schedule.


James H. Davenport
March 24, 2016