[TYPES/announce] ITRS Call for Post-Proceedings

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ITRS 2021 Call for Post-ProceedingsTenth Workshop on Intersection Types and Related Systems - ITRS 2021 17 July 2021, Online Affiliated with FSCD

[TYPES/announce] Update: Seminar talk on Session Logical Relations for Noninterference

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Hi, everyone. This is a friendly reminder regarding this weeks seminar talk. Please be advised that the Zoom link this semester is different from last years. Please RSVP to get the updated

[TYPES/announce] Call for Submissions: Programming Languages and the Law (ProLaLa)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ---    ProLaLa 2022 -- 1st Workshop on Programming Languages and the Law    Sunday Jan 16th, 2022