Theoretical Aspects of Computing – ICTAC 2017 | lit.salon