[TYPES/announce] BCTCS 2011: 2nd Call for Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [ Only a few days left to register ] === 27th British Colloquium for Theoretical Computer Science (BCTCS)

[TYPES/announce] SecCo 2011: First Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] +-+ ! ! ! SecCo

[TYPES/announce] [fm-announcements] NFM 2011 - call for participation

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

[TYPES/announce] [fm-announcements] RV 2011 - 2nd Call for Papers and Tutorials

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 2nd Call for Papers and Tutorials International Conference on Runtime Verification (RV 2011) September 27 - 30, 2011 San Francisco, California, USA http://rv2011.eecs.berkeley.edu/