[TYPES/announce] Final Call for Papers: ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'09)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] LCTES 2009 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (In conjunction with PLDI 2009)

[TYPES/announce] PLACES'09 Accepted Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [ PLACES is an ETAPS workshop. Several of the papers have a type-theoretic dimension. SG ] Accepted papers at PLACES'09 (Programming Language Approaches to Concurrency and