University of Basel Department of Mathematics and Computer Science