IMPRS seminar on K-theory