Seminar on knot theory