[TYPES/announce] Full professor and associate professor positions at IRIF, Paris, France

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] One full professor (professeur des universités) and two associate professor (maître de conference) positions will open at IRIF (Research Institute on the Foundation of Computer Science) in

[TYPES/announce] SPLASH 2024 Call for Workshop Proposals

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Workshops The ACM Conference on Systems, Programming, Languages, and