Text this: Theoretical Aspects of Computing – ICTAC 2017