Symposium on Computation Theory