PEPM 2008 is co-located with [[http://www.cs.ucsd.edu/popl/08/][POPL 2008]].