[TYPES/announce] Cfp: HLPP 2011 (ACM SIGPLAN Workshop on High-level Parallel Programming and Applications)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 5th ACM SIGPLAN Workshop on High-level Parallel Programming and Applications Tokyo, September 18, 2011 Affiliated to ICFP 2011 http://www.icfpconference.org/icfp2011 Sponsored by ACM SIGPLAN

[TYPES/announce] Software Verification and Testing Track at SAC'12: 1st CfP

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == 27th Annual ACM Symposium on Applied Computing Software Verification and Testing Track March 25 - 29, 2012, Riva del Garda (Trento), Italy

[TYPES/announce] LOPSTR 2011 - call for participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] (our apologies if you receive multiple copies of this message) CALL FOR PARTICIPATION 21th

[TYPES/announce] 2nd CfP: 8th International Symposium on Formal Aspects of Component Software

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - Call for Papers FACS 2011 8th International Symposiu

[TYPES/announce] [fm-announcements] RV 2011 final CfP -- paper deadline extension: June 12, 2011

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Paper submission deadline extended to June 12, 2011 International Conference on Runtime Verification (RV 2011) September 27 - 30, 2011 San Francisco, California, USA at th

[TYPES/announce] ICTAC 2011 School on Software Engineering: Call for Participants and Applications of Scholarship

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR APPLICATIONS - ICTAC School International School on Software Engineering Associated with ICTAC Jointly Organised by UNU-IIST and University of the Witwatersrand, Johannesburg 22-2