This book constitutes the refereed proceedings of the 20 th International