The new page of the Logic Seminar is here.