EPTCS 67 - CompMod 2011