IMPRS seminar on various topics: Knot theory