[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

[TYPES/announce] POPL 2021 - Talks are live! - Second Call for Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] POPL 2021 Call for Participation (https://popl21.sigplan.org/) Important Dates: Sun 10 Jan 2021 Early registration ends Sun 17 - Tue 19 Jan 2021 Co-located events Wed

[TYPES/announce] PEPM 2021 - Call for Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] -- CALL FOR PARTICIPATION -- ACM SIGPLAN Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM) 2021

[TYPES/announce] F-IDE 2021 - 2nd Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** F-IDE 2021: 6th Workshop on Formal Integrated Development Environment Affiliated with NASA Formal Methods 2021 May 24-25,