Please see the [[http://software.imdea.org/events/popl2010/][local arrangements page]] of POPL 2010 for more information.