Informal topology seminar