[TYPES/announce] ICE 2024: Third Call for Papers (abstract deadline tomorrow)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ICE 2024 17th Interaction and Concurrency Experience June 21, 2024, Groningen Satellite workshop of

[TYPES/announce] Five PhD Positions in Programming Languages and Software Engineering, Turku, Finland

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Department of Computing at the University of Turku, Finland has a broad call for five (5) PhD positions in Software Engineering — which includes Programming Languages. We are, for

[TYPES/announce] Extended Deadline April 8, 2024 (abstracts April 1, 2024): 17th Conference on Intelligent Computer Mathematics (CICM 2024)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Papers formal papers - doctoral programme 17th Conference on Intelligent Computer Mathematics

[TYPES/announce] SYCO 12, Call For Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - CALL FOR PARTICIPATION TWELFTH SYMPOSIUM ON COMPOSITIONAL STRUCTURES (SYCO 12) Birmingham, UK 15-16 April, 2024 Registration deadline: Wednesday

[TYPES/announce] TyDe 2024: First call for papers and extended abstracts

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] = The Ninth International Workshop on TYPE-DRIVEN DEVELOPMENT