[TYPES/announce] Call for Posters: APLAS 2009

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR POSTER PRESENTATIONS The Seventh ASIAN Symposium on Programming Languages and Systems (APLAS 2009) December

[TYPES/announce] Postdoctoral position at INRIA Grenoble, France

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Applications are invited for a postdoctoral position at INRIA Grenoble, France. The appointment will be in the areas of programming languages, computational logic, and program analysis