PEPM 2010 is co-located with the following events: * [[http://damp10.cs.nmsu.edu/][DAMP 2010]]: Workshop on Declarative Aspects of Multicore Programming * [[http://clip.dia.fi.upm.es/Conferences/PADL-2010/][PADL 2010]]: Symposium on Practical Aspects of Declarative Languages * [[http://slang.soe.ucsc.edu/plpv10/][PLPV 2010]]: Workshop on Programming Languages meets Program Verification * [[http://www.cse.psu.edu/popl/10/][POPL 2010]]: Symposium on Principles of Programming Languages * [[http://research.microsoft.com/en-us/um/people/akenn/tldi2010/][TLDI 2010]]: Workshop on Types in Language Design and Implementation * [[http://software.imdea.org/events/vmcai10/][VMCAI 2010]]: Conference on Verification, Model Checking, and Abstract Interpretation * [[http://babel.ls.fi.upm.es/events/wflp2010/][WFLP 2010]]: Workshop on Functional and (Constraint) Logic Programming