London Mathematical Society Carnegie Mellon European Bioinformatics Institute Actuarial Basel Actuarial Basel