[TYPES/announce] CFP: WGP 2011 - Workshop on Generic Programming
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == CALL FOR PAPERS WGP 2011 7th ACM SIGPLAN Workshop on Generic Programm
[TYPES/announce] LFMTP 2011 Call for Papers (2nd Call)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [LFMTP 2011 Reminder: Abstracts due by May 16, papers due by May 23] Sixth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice