Title: ISSAC'2016