Logic in Stockholm 2017, August 7-25