EPTCS 72 - PDMC 2011