10th International Colloquium on Theoretical Aspects of Computing

04. - 06.09.2013, Shanghai, China