[TYPES/announce] CiE 2024: Final call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CiE 2024: CALL FOR PAPERS Computability in Europe 2024 Twenty years of theoretical and practical synergies Amsterdam, The Netherlands July 08-12,

[TYPES/announce] Fully-Funded PhD Studentships at University of Kent (UK)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, the Programming Languages and Systems group (PLAS) at University of Kent is seeking strong PhD applicants in the area of PL broadly construed. More details below. Best,

[TYPES/announce] 2nd CfP: TASE 2024

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] TASE 2024: 18th International Symposium on Theoretical Aspects of Software Engineering Overview -