Proceedings of the Workshop on Games in Design and Verification