[TYPES/announce] Workshop on Virtual Machines and Language Implementations (VMIL’23) - Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Papers Workshop on Virtual Machines and Language Implementations (VMIL’23) Co-located with SPLASH 2023

[TYPES/announce] Workshop celebrating 30 Years of Session Types - co-located with SPLASH 2023 - 2nd CFP

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS WORKSHOP CELEBRATING 30 YEARS OF SESSION TYPES (ST30)