Seminar series Logic Seminar Date Thu, 17 Feb 2011 16:00 Location L3 Speaker Jan Denef Organisation Leuven