LICS 2017 foreword | IEEE Conference Publication | IEEE Xplore