SCSS 2014:Editor's Preface

This volume contains regular papers presented at SCSS 2014: 6th International Symposium on Symbolic Computation in Software Science held on December 7--8, 2014 in Gammarth, La Marsa, Tunisia.

There were 17 submissions: 8 regular and 9 short papers. After reviewing, the Program Committee decided to accept 5 regular and 7 short papers. The regular papers are published in this volume. The collection of short papers appeared as a technical report of the Research Institute of Symbolic Computation (RISC) of the Johannes Kepler University Linz. 

The symposium program also includes two invited talks: by Nikolaj Bjørner and William M. Farmer, and the invited tutorial by Stephen M. Watt.

The history of SCSS starts from internal workshops that brought together researchers from SCORE (Symbolic Computation Research Group) at the University of Tsukuba, Japan, the Theorema Group at RISC, Johannes Kepler University Linz, Austria, and SSFG (Software Science Foundation Group) 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 is 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.

SCSS 2014 was organized by the Tunisian Society for Digital Security and the Research Unit of Digital Security, in collaboration with the Higher School of Communication of Tunis (University of Carthage), the Eos project, University of Tsukuba, the University of Manchester, and the Research Institute for Symbolic Computation at the Johannes Kepler University Linz.

The submission, programme committee work, and preparation of the symposium programme and proceedings was organised through the EasyChair system.

We would like to thank the programme committee members and reviewers for their efforts. Our thanks are also due to the conference chairs Adel Bouhoula and Tetsuo Ida and the organization committee chair Mohamed-Bécha Kaâniche for their work in the preparation and organisation of the symposium.


Andrei Voronkov
Temur Kutsia
December 2014