The Seminar takes place in room 9460, Tuesdays 10.15 to 12.00
For the schedule, see inf5170, seminar in logic.