[TYPES/announce] CFP: DAIS 2007
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - First CALL FOR PAPERS
[TYPES/announce] ARES 2007: Call for papers and workshops's papers - Deadline 19-11-2006
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Apologies for multiple copies due to cross postings. Please send to interested colleagues and students. Call for Papers +---