[TYPES/announce] Submission deadline coming up 22/12/2014: JFP special issue on Parallel and Concurrent Programming

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] If you are working on parallel or concurrent functional programming, please consider submitting an article about your work to the Special Issue of the Journal of Functional Programming on

[TYPES/announce] 20th Intl. Symposium on Formal Methods (FM 2015), Oslo. 2nd CFP

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] --=== FM 2015 === 20th International Symposium on Formal Methods Oslo, Norway, June 22-26, 2015

[TYPES/announce] CICM 2015: Call for Workshops

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Workshop Proposals CICM 2015 - Conference on Intelligent Computer