[TYPES/announce] EXPRESS 2011: Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 18th International Workshop on Expressiveness in Concurrency EXPRESS 2011 ---
[TYPES/announce] Final Call for Papers: WWV 2011
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies for multiple copies] Final Call for Papers WWV 2011 Automated Specificati