Seminar series Logic Seminar Date Fri, 02 Dec 2005 15:15 Location L3 Speaker Jan Krajicek Organisation Prague