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