[TYPES/announce] SETTA 2021: 2nd CFP updated with a special issue for STTT

2021-05-10 Thread songfu1...@shanghaitech.edu.cn
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] (apologies for cross-posting) SETTA 2021: Symposium on Dependable Software Engineering: Theories, Tools and Applications Institute of Software,

[TYPES/announce] SETTA-2020 CFP [Deadline extended]: Symposium on Dependable Software Engineering Theories, Tools and Applications - Guangzhou China, November 24-27, 2020

2020-07-15 Thread songfu1...@shanghaitech.edu.cn
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We apology for possible cross posting, and appreciate your support and distribution. SETTA 2020: Symposium on Dependable Software Engineering

[TYPES/announce] Final CFP: Symposium on Dependable Software Engineering Theories, Tools and Applications (SETTA 2020) - Guangzhou China, November 24-27, 2020

2020-06-20 Thread songfu1...@shanghaitech.edu.cn
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] SETTA 2020: Symposium on Dependable Software Engineering Theories, Tools and Applications Peking University, Guangzhou, China, November 24-27, 2020

[TYPES/announce] 2nd CFP (updated VENUE and DATES): Symposium on Dependable Software Engineering Theories, Tools and Applications (SETTA 2020) - Guangzhou China, November 24-27, 2020

2020-03-02 Thread songfu1...@shanghaitech.edu.cn
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] SETTA 2020: Symposium on Dependable Software Engineering Theories, Tools and Applications Peking University, Guangzhou, China, November 24-27, 2020