From: Temur Kutsia <kutsia@risc.jku.at>
The Symbolic Computation in Software Science conference, initiated by
Bruno Buchberger, Tetsuo Ida, and Masahiko Sato, this year has its 10th
edition August 28-30 in Tokyo.
The paper submission deadline has been extended to March 15 (title and
abstract) + March 24 (papers).
Conference information: https://www.scss-conference.org/2024
Submission: https://www.easychair.org/conferences/?conf=scss2024
Last updated: Jan 04 2025 at 20:18 UTC