[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]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$
