LearnAut workshop on LICS 2017