[TYPES/announce] slides on a mathematical theory of substitution

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear All, Three sets of slides on a mathematical theory of substitution aimed at different audiences may be found at under

[TYPES/announce] ETAPS 2008: Call for tutorial proposals

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [We apologise for multiple copies.] ETAPS 2008: CALL FOR TUTORIALS Deadline: November 1, 2007

[TYPES/announce] 1st 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 ] CALL FOR PAPERS FOR A SPECIAL ISSUE OF MATHEMATICS IN COMPUTER SCIENCE on MANAGEMENT OF MATHEMATICAL KNOWLEDG