Edinburgh University Summer School notes