Seminar series Logic Seminar Date Fri, 30 Nov 2007 14:15 Location SR2 Speaker Marcus Tressl Organisation University of Manchester