Theoretical Aspects of Computing – ICTAC 2012 | lit.salon