[TYPES/announce] FMCAD Student Forum CFP (Deadline Sat July 10)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] # Student Forum Continuing the tradition of the previous years, FMCAD 2021 is hosting a Student Forum that provides a platform for students at any career stage (undergraduate or graduate)

[TYPES/announce] CALL FOR PARTICIPATION -- APPLIED CATEGORY THEORY 2021, CAMBRIDGE UK, JULY 12-16 -- HYBRID CONFERENCE

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PARTICIPATION Fourth Annual International Conference on Applied Category Theory (ACT 2021) 12 - 16 July, 2021, Cambridge, United Kingdom (and online), 09:00-17:30 BST Webpage:

[TYPES/announce] Postdoctoral Position at the University of Cambridge

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Posting on behalf of Neel Krishnaswami] Hello, We have an opening in Cambridge for a postdoctoral position with the ERC Consolidator Grant project TypeFoundry. The TypeFoundry project

[TYPES/announce] Vacancy for a PhD in Computer Science and Functional Programming

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Vacancy -- Ph.D. in Computer Science & Functional Programming - **Process Design Center (PDC) **PDC is seeking a Ph.D. in