[TYPES/announce] PriSC 2024: Call for Presentations

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] (Apologies if you're getting this email multiple times.) Short version: PriSC is a fun, welcoming and exciting venue. Share updates, ideas, thoughts or send students for a friendly

[TYPES/announce] POPL 2024 Student Research Competition - deadline Friday 10 November

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all Please encourage both undergraduate and graduate students working in Programming Languages to submit their work to the POPL 2024 Student Research Competition! Deadline: Friday

[TYPES/announce] 2nd Call for Submissions PLanQC (Programming Languages for Quantum Computing)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] PLanQC 2024: Programming Languages for Quantum Computing Call for Submissions We invite members of the programming languages and quantum computing communities to submit talk proposals

[TYPES/announce] Call for Contributions - Workshop on Programming for the Planet (PROPL) co-located with POPL

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Contributions *Workshop on Programming for the Planet (PROPL) *co-located with POPL 2024. Saturday January 20th 2024, London, UK