ISSAC 2017