EPTCS 82 - WRS 2011