Seminar series Logic Seminar Date Fri, 04 Nov 2005 15:15 Location L3 Speaker Martin Ziegler Organisation Freiburg and Leeds