Special issue on the conference Theory and Applications of Models of Computation