[TYPES/announce] Faculty position in PL at U. Cambridge

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We're advertising a faculty position in Programming Languages (considered broadly) at Cambridge: http://www.jobs.cam.ac.uk/job/21863/ The Department

[TYPES/announce] UNSW Sydney Seeking PhD Students

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] If only there were a place where I could prove theorems, change the world, and have fun while doing it... Sounds too good to exist? In the Trustworthy Systems team at UNSW and Data61

[TYPES/announce] [TFP'20] first call for papers: Trends in Functional Programming 2020, 13-14 February, Krakow, Poland

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - First call for papers     21st Symposium on Trends in Functional Programming