[TYPES/announce] CALL FOR PAPERS for ASPLOS Workshops ASSMA, GPGPU, and WoDET

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] * We apologize if you receive this announcement from multiple sources. We expect that these workshops will be of interest to the Programming Language Community * CALL FOR PAPERS for the

[TYPES/announce] [fm-announcements] NASA Formal Methods Symposium - NFM 2011 : Third Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] THIRD CALL FOR PAPERS NFM 2011 Third NASA Formal Methods Symposium Pasadena,