[ 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
[ 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