[TYPES/announce] Multiple PhD and postdoc positions in PL/FM at Nanyang Technological University, Singapore

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We are jointly advertising for several open PhD and postdoc positions in PL/FM at the School of Computer Science and

[TYPES/announce] School on Univalent Mathematics, Minneapolis (MN, USA), July 29-Aug 2, 2024

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We are pleased to announce the School on Univalent Mathematics 2024 to be held at the University of Minnesota (Twin Cities), Minneapolis, MN, United States, July 29-August 2, 2024

[TYPES/announce] IEEE CSF 2024 - Call for Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] * CSF 2024 - Call for Participation 37th IEEE Computer Security Foundations Symposium July 8-12, 2024 *** Early

[TYPES/announce] APLAS 2024 SRC & Posters

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies for multiple postings.] Call for Submissions APLAS 2024 Student Research Competition (SRC) and Posters 22--25 October, Kyoto, Japan

[TYPES/announce] Student Research Competition (SRC) at ICFP 2024

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ICFP 2024 Student Research Competition Call for Submissions ICFP 2024 invites students to participate in the Student Research Competition in order to present their research and get