[TYPES/announce] CfP: GCM - Graph Computation Models 2016

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == GCM 2016: Seventh International Workshop on Graph Computation Models Vienna, Austria, 4 July 2016 - A satellite event

[TYPES/announce] ICFP 2016 Second Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ICFP 2016 The 21st ACM SIGPLAN International Conference on Functional Programming http://conf.researchr.org/home/icfp-2016

[TYPES/announce] Call for PhD students: Logical Methods in Computer Science (Vienna, Austria)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] (* Apologies if you got multiple copies of this email *) Funded Doctoral Positions in Computer Science [http://logic-cs.at/phd/] TU Wien, TU Graz, and JKU Linz are seeking exceptionally