[TYPES/announce] PCC 2010 -- Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] === CALL FOR PAPERS 9th Proof, Computation and Complexity PCC 2010 June 18-19, 2010 Bern, Switzerland http://pcc2010.unibe.ch/ === A

[TYPES/announce] PLDI 2010: Call for Tutorials

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Many of the tools announced on this list would make interesting tutorial topics at PLDI; please consider submitting your idea! -Mike ACM SIGPLAN 2010 Conference on

[TYPES/announce] MFPS 26 - call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Second CALL FOR PAPERS MFPS XXVI http://www.math.tulane.edu/~mfps/mfps26 Twenty-sixth Conference on