Email Record: Theoretical Aspects of Computing - ICTAC 2017 :