Title: ISSAC '18