[TYPES/announce] 2nd Summer School on Security Testing and Verification

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] === 2nd Summer School on Security Testing and Verification 11-12-13 September, Brussels,

[TYPES/announce] GandALF 2023: Deadline extension (abstract and paper submission)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [apologies for cross-postings] · New abstract submission deadline: 23 June 2023 30 June 2023 · New paper submission deadline: 30 June 2023 7 July 2023 The

[TYPES/announce] 29th WoLLIC 2023 - Final Call for Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] FINAL CALL FOR PARTICIPATION *** NEW: Invited talk titles and abstracts, accepted contributions *** WoLLIC 2023 29th Workshop on Logic, Language, Information and Computation 11-14 July,

[TYPES/announce] PLMW @ ICFP 2023: Call for Scholarship Applications

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Hi all! Please forward to any interested students (undergraduate and graduate)! The application is at