[TYPES/announce] Second CFP: DAIS 2007

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - Second CALL FOR PAPERS

[TYPES/announce] PLAS 2007: call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] -- Note to types readers: we encourage submissions to PLAS that aim to provide measures of security using types; e.g., by type checking, type-based analysis, type-based specification, et