[TYPES/announce] Call for Papers: IWS 2010

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS International Workshop on Strategies in Rewriting, Proving, and Programming IWS 2010

[TYPES/announce] CfP: 5th Intl. Symposium on Trustworthy Global Computing

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 5th Intl. Symposium on Trustworthy Global Computing February 24-26, 2010, Munich, Germany http://www.pst.ifi.lmu.de/tgc2010/ *Scope* The Symposium on Trustworthy Global Computing is an