[TYPES/announce] Final CFP: IEEE CSF 2024 - Fall Cycle (Submission Deadline: September 30, 2023, AoE)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] This is the final CFP for the fall cycle of IEEE CSF 2024. Submission deadline: September 30, 2023. 37th IEEE

[TYPES/announce] SAS 2023 - Call for Participation - Early deadline: Sept 22

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] -- Call for Participation Early registration deadline: September 22