[TYPES/announce] ESSLLI 2009 Call for Participation

2009-02-18 Thread Richard Moot
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == == = CALL FOR PARTICIPATION

[TYPES/announce] LFMTP 2009: Call for Papers

2009-02-18 Thread Amy Felty
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Papers LFMTP 2009: 4th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice