[TYPES/announce] Call for Participation FST TCS 2007

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies for multiple mailings. This announcement is likely to be of interest to subscribers of various lists] CALL FOR PARTICIPATION

[TYPES/announce] TAMC 2008 - Final call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] FINAL CALL FOR PAPERS 5th Annual Conference on Theory and Applications of Models of Computation (TAMC 2008)

[TYPES/announce] 2nd CFP - spec. issue of MCS on Management of Mathematical Knowledge (deadline 15 December 2007)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] --- Blind-Carbon-Copy To: [EMAIL PROTECTED] Subject: 2nd CFP - spec. issue of MCS on Management of Mathematical Knowledge (deadline 15 December 2007) Date: Thu, 01 Nov 2007 10:40:12