IMPRS seminar on various topics: Arithmetic topology