[TYPES/announce] Call for papers: VSTTE 2023

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for papers: VSTTE 2023 (15th International Conference on Verified Software: Theories, Tools and Experiments) (Apologies for multiple copies) === Overview The goal of the VSTTE

[TYPES/announce] SPLASH 2023 Student Research Competition – Deadline (extended): July 21st, 2023

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] SPLASH 2023 Student Research Competition Call for Submissions Deadline (extended): July 14th, 2023 July 21st, 2023

[TYPES/announce] VMIL 2023 - Co-located with SPLASH'23 - Deadline Extension

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *** The abstract and paper submission deadlines have been extended *** The new deadlines are: 2023-07-23: Abstract and submission deadline (research and experience papers) 2023-08-02: