EPTCS 47 - CL&C 2010