[TYPES/announce] PhD Studentship at Queen Mary

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] PhD Studentship in Semantics and Verification of Heterogeneous Programs Applications are invited for a fully-funded PhD studentship within the Theory Group at Queen Mary University of

[TYPES/announce] 'Collective Adaptive Systems' (CAS) track at the ACM SAC 2017

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies if you got multiple copies of this email.] * COLLECTIVE ADAPTIVE SYSTEMS Special Track of the 32nd ACM

[TYPES/announce] NWPT'16 - first call for contributions

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] First call for contributions to 28th Nordic Workshop on Programming Theory, Skoerping (Aalborg), Denmark. ***

[TYPES/announce] SIGPLAN Programming Languages Mentoring Workshop @ SPLASH'16

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] SIGPLAN Programming Languages Mentoring Workshop @ SPLASH'16 Amsterdam, The Netherlands (part of SPLASH 2016) Tuesday, November 1st, 2016 http://2016.splashcon.org/track/splash-2016-plmw