Dagstuhl Sprint, October 2017 (Week One)