[TYPES/announce] S-REPLS 13 / Fun in the Afternoon, Bristol, UK

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] S-REPLS 13 / Fun in the Afternoon Joint meeting on Programming Languages Wednesday, 1 November 2023, 10:00 - 17:00 Engine Shed, Bristol

[TYPES/announce] CfP: FoSSaCS '24: 27th International Conference on Foundations of Software Science and Computation Structures

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] * CALL FOR PAPERS FoSSaCS '24: 27th International Conference on Foundations of Software

[TYPES/announce] OOPSLA 2024: Round 1 Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] PACMPL Issue OOPSLA 2024 Call for Papers OOPSLA

[TYPES/announce] SPLASH 2023 Call for Participation

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

[TYPES/announce] Call for participation: Workshop Celebrating 30 Years of Session Types (ST30 @ SPLASH)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PARTICIPATION WORKSHOP CELEBRATING 30 YEARS OF SESSION TYPES (ST30)