This book constitutes the refereed proceedings of five workshops and an industrial session held a...