History
The history of the SCSS starts from internal workshops that brought together researchers from the Theorema Group (leader: Bruno Buchberger) at RISC (Research Institute for Symbolic Computation, Johannes Kepler University, Linz - Hagenberg, Austria), SCORE (Symbolic Computation Research Group, University of Tsukuba, Japan. Group leader: Tetsuo Ida), and SSFG (Software Science Foundation Group, Kyoto University, Japan. Group leader: Masahiko Sato). Later, these workshops grew to involve researchers from the Digital Security Research Unit at the Higher School of Communication of Tunis, Sup'Com (University of Carthage, Tunisia), and the Tunisian Society for Digital Security (leader: Adel Bouhoula). Since 2012, SCSS is an international symposium.
More information about SCSS, including the past editions, can be found here.