Theoretical Aspects of Computing – ICTAC 2018 | lit.salon