[TYPES/announce] CFP: NASSLLI 2010 Student Session

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS NASSLLI 2010 STUDENT SESSION June 26, 2010 The Student Session is organized as part of the Fourth North American Summer School in Logic, Language, and Information to be hel

[TYPES/announce] ICFP 2010: Second call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] = Second Call for Papers ICFP 2010: International Conference on Functional Programming

[TYPES/announce] CFP: MMM-ACNS 2010

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Type-based submissions welcome! -Andrei Call for papers --- Fifth International Conference on Mathematical Methods, Models, and Architectures for Computer Networks Security St

[TYPES/announce] Call for Papers: 20th WADT (Workshop on Algebraic Development Techniques)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [sorry if you receive this more than once] CALL FOR PAPERS WADT 2010 20th International Workshop on