Workshop on Quantum Mathematics and Computation, Oxford, October 1-4 2013