[TYPES/announce] Second CFPs LSFA 2009

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Fourth Workshop on Logical and Semantic Frameworks, with Applications 28th June, 2009 - Brasília, Brazil Call for Papers Scope Logical and semantic frameworks are formal languages used

[TYPES/announce] 2nd CFP: PLAS 2009

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We apologize for any multiple postings ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security (PLAS 2009)