[TYPES/announce] Symbolic Computation in Software Science (SCSS'24): submission deadline extension
Temur Kutsia
kutsia at risc.jku.at
Mon Mar 4 01:54:53 EST 2024
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://urldefense.com/v3/__https://www.scss-conference.org/2024__;!!IBzWLUs!UBi6lvsL04Ivd75M5K_K_NDE9j1rpTJSHaWUrkleEfSqrW4-fuTWRbjEViMKQoyQ3sx1LWuS4y2Jb-V6adjlTnajDoc5cPGS$
Submission: https://urldefense.com/v3/__https://www.easychair.org/conferences/?conf=scss2024__;!!IBzWLUs!UBi6lvsL04Ivd75M5K_K_NDE9j1rpTJSHaWUrkleEfSqrW4-fuTWRbjEViMKQoyQ3sx1LWuS4y2Jb-V6adjlTnajDqqjKTdX$
More information about the Types-announce
mailing list