[TYPES/announce] CfPart ICGT and SPIN, 27 Sep - 2 Oct 2010 at University of Twente, The Netherlands

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == *** Call for Participation *** ICGT 2010 Fifth International Conference on Gra

[TYPES/announce] Call for Papers: VMCAI'11

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] -- CALL FOR PAPERS VMCAI 2011 The Twelfth Inte