Tracks Symbolic Computation Logic and Programming Artificial Intelligence Numerical Computing Distributed Computing Advances in the Theory of Computing