LICS 2017