[TYPES/announce] 3 years research assistant position in TCS, LMU Munich

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] A position for a research assistant in a DFG project is available. Project title: Pointers as an abstract data type: complexity-theoretic and programming-language aspects (PURPLE)

[TYPES/announce] MEMOCODE 2011 Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] MEMOCODE 2011 Call for Papers The ninth ACM-IEEE* International Conference on Formal Methods and Models for Codesign (MEMOCODE 2011) will be held on July 11-13, 2011 in Microsoft Research