[TYPES/announce] PhD opportunities in the Computer Science theory group at Birmingham

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, We invite applications for PhD study at the University of Birmingham. We are a group of (mostly) theoretical computer scientists who explore fundamental concepts in computation

[TYPES/announce] PASTE 2013: CALL FOR PARTICIPATION

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** PASTE 2013: CALL FOR PARTICIPATION and CALL FOR LIGHTNING TALKS 11th ACM SIGPLAN/SIGSOFT Workshop on Program Analysis