EPTCS 109 - PLACES 2012