[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