[ 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,
[ 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
[ 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
[ 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