[TYPES/announce] Call for Papers -- SETTA 2017: 3rd Symposium on Dependable Software Engineering: Theories, Tools and Applications

2017-02-15 Thread son...@shanghaitech.edu.cn
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Please accept our apologies if you receive multiple copies of this Call for Papers (CFP)] Call For Paper ** SETTA

[TYPES/announce] Postdoc/Research fellow position in Formal Methods and System Security, ShanghaiTech University, China

2016-10-10 Thread son...@shanghaitech.edu.cn
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Please accept our apologies if you receive multiple copies] Dear all: I am looking for two new members to join my research team at post-doc/research fellow level. Research topics of

[TYPES/announce] CALL FOR PAPERS - ICTAC 2017

2017-04-10 Thread son...@shanghaitech.edu.cn
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Please accept our apologies if you receive multiple copies of this Call for Papers (CFP)] Due to some requests from authors, we have decided to extend the submission deadline by 10 days.

[TYPES/announce] SETTA 2017 Call for Papers (The Fourth Round) -- Deadline Extension

2017-04-25 Thread son...@shanghaitech.edu.cn
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Please accept our apologies if you receive multiple copies of this Call for Papers (CFP)] News: (1) Extension of Paper Submission: June 21, 2017. (2) Keynotes: Cliff Jones

[TYPES/announce] CALL FOR PARTICIPATION -- SETTA 2017

2017-09-12 Thread son...@shanghaitech.edu.cn
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** CALL FOR PARTICIPATION -- SETTA 2017 Symposium on Dependable Software

[TYPES/announce] CFP: YR-CONCUR 2018 - 8th Young Researchers Workshop on Concurrency Theory

2018-05-23 Thread son...@shanghaitech.edu.cn
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] * YR-CONCUR 2018, Call for papers 8th Young Researchers Workshop on Concurrency Theory (YR-CONCUR), 2018 A satellite

Re: [TYPES/announce] CFP: YR-CONCUR 2018 - 8th Young Researchers Workshop on Concurrency Theory

2018-06-06 Thread son...@shanghaitech.edu.cn
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] * YR-CONCUR 2018, Call for papers 8th Young Researchers Workshop on Concurrency Theory (YR-CONCUR), 2018 A satellite

[TYPES/announce] CFP: YR-CONCUR 2018 - 8th Young Researchers Workshop on Concurrency Theory

2018-04-26 Thread son...@shanghaitech.edu.cn
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] * YR-CONCUR 2018, Call for papers 8th Young Researchers Workshop on Concurrency Theory (YR-CONCUR), 2018 A satellite

[TYPES/announce] SETTA 2021 Beijing: 3rd Call for Papers

2021-06-17 Thread son...@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,