Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Symbolic Computation in Software Science (SCSS...


view this post on Zulip Email Gateway (Mar 04 2024 at 06:56):

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: Apr 28 2024 at 20:16 UTC