Seminar series Logic Seminar Date Fri, 19 Nov 2004 15:15 Location SR1 Speaker Anuj Dawar Organisation Cambridge