University of Birmingham Convergence of adaptive stochastic Galerkin FEM