Seminar series Logic Seminar Date Fri, 14 May 2004 15:15 Location SR1 Speaker Jan Krajicek Organisation Prague