[TYPES/announce] NSV 2021 Workshop: Extended Deadline May 7

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 14th International Workshop on Numerical Software Verification, 18-19 July 2021 A workshop affiliated with CAV 2021 - Online Web Page: https://nsv2021.github.io Submission link:

[TYPES/announce] ATVA 2021 - Call for Workshops

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ATVA 2021: The 19th International Symposium on Automated Technology for Verification and Analysis October 18-22 2021, Gold Coast, Australia CALL FOR WORKSHOPS