[TYPES/announce] Workshop on Mechanising Metatheory (WMM07): submission deadline approaches

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 2nd Informal ACM SIGPLAN Workshop on Mechanizing Metatheory Freiburg, Germany Sponsored by ACM SIGPLAN Co-l

[TYPES/announce] 2nd CFP: ISR 2007

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [ Apologies for multiple copies ] ** Second Call for Participation International

[TYPES/announce] post-doc position

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The University of Chambery proposes a post-doc position for the next academic year (from october 1-st 2007 to september 30-th 2008). The candidate must come from a foreign country. The salar