[TYPES/announce] CfP: Special Issue of TCS on QAPL 2011/12 - EXTENDED Deadline

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [apologies for multiple copies] Due to several requests the deadline for this special issue has been extended until beginning of September (see below). Authors intending to submit a paper

[TYPES/announce] Postdoc position at Lehigh and Harvard

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Sorry if you receive multiple copies of this] Applications are invited for a full-time postdoctoral researcher position in GoNative, a joint project between Lehigh University and Harvard

[TYPES/announce] CALL FOR PARTICIPATION in SLE/GPCE/FOSD 2012

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *** CALL FOR PARTICIPATION in SLE/GPCE/FOSD 2012 Main Conferences, Keynotes, Workshops/Industrial Track,