Theoretical aspects of computing - ICTAC 2013 11th international colloquium, Bucharest, Romania, September 17 - 19, 2014 ; proceedings (Springer, 2014)