Registration for PEPM 2007 will be part of the registration for [[http://www.cs.ucsd.edu/popl/07/][POPL 2007]]