Proceedings of the 8th annual conference on Theory and applications of models of computation