IMPRS seminar on various topics: formal groups