[TYPES/announce] CICM 2013: Final Call for Work in Progress Papers, Deadline June 7th, 2013

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CICM 2013 - Conferences on Intelligent Computer Mathematics July 8-12, 2013 at University of Bath, Bath, UK http://www.cicm-conference.org/2013/cicm.php

[TYPES/announce] SSTiC 2013: next registration deadline 26 June

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* * 2013

[TYPES/announce] BEAT II: Final Call For Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS BEAT II Second International Workshop on Behavioural Types 23-24 September 2013,