Please see the [[http://www.cse.psu.edu/popl/11/][local arrangements page]] of POPL 2011 for more information.