EPTCS 7 - SECCO 2009