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

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] First Call for Papers ICTAC 2011 International Colloquium on Theoretical Aspects of Computing URL: http://www.ictac.net/ictac2011/ 31 August - 2 September 2011, Johannesburg, South Africa

[TYPES/announce] 1st Call for Papers: WWV 2011

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies for multiple copies] First Call for Papers WWV 2011 Automated