Title: ISSAC'15