People Research Seminars Postgrad opportunities Pure Department School of Mathematics University of Leeds Some outside links Homepage	UNIVERSITY OF LEEDS Department of Pure Mathematics Logic Seminar 2004 AUTUMN TERM October 6th David Aspero (Bristol) Large cardinals and well-orders of the reals October 20th Andrei Morozov (Novosibirsk) On F-parameterizable models November 3rd Susana Torrezao de Sousa (Leeds) Homogeneous coloured partial orders November 10th Peter Aczel (Manchester) Weak constructive set theory November 17th Xavier Vidaux (Oxford) Buchi's problem for rational functions November 24th Agatha Walczak-Typke (Leeds) Stable structures and their non-choice analogues December 1st Stan Wainer (Leeds) Complexity in Predicative Arithmetic Wednesday December 8th SIGLaC half-day workshop on Mathematical Aspects of Computation with speakers Samson Abramsky, Mark Baker and John Tucker 1.30--5.00pm in the Active Learning Laboratory, Room 9.30, School of Computing 1.00pm Welcome and Buffet Lunch, 3.30pm Tea/Coffee All lectures - apart from those of the SIGLaC workshop - will be held on Wednesdays at 4 pm in room H, Mathematics building. Tea at 3.30 pm - all welcome. SUMMER TERM April 28th Martin Escardo (Birmingham) Topology via higher-order logic May 12th Roman Wencel (Leeds) O-minimal expansions of boolean algebras May 19th George Barmpalias (Leeds) Hypersimple semicomputable sets in the weak truth table degrees June 30th Margarita Korovina (Sobolev Institute of Mathematics, Novosibirsk) Σ-definability and computability on continuous data types SPRING TERM 14 January Sergei Tupailo (Leeds) Some open problems in proof theory 4 February Anton Setzer (Swansea) The Π3 -reflecting universe 11 February Assaf Hasson (Jerusalem) Interpreting structures of finite Morley rank in strongly minimal structures Mikhail Taitslin (Tver State University, visiting Oxford) Collapse results in database theory 18 February Angus Macintyre (Edinburgh) Schanuel's conjecture; logical aspects 3 March (note date change) Katie Chicot (Leeds) Countable 1-transitive trees 10 March Michael Rathjen (Leeds) Exotic Principles in Intuitionistic Set Theory 17 March Abbas Edalat (Imperial) Domain Theory and Multi-Variable Differential Calculus Seminar organiser - John Truss Past logic seminars - 2003, 2001, 2000, 1999, 1998 Other Seminars As well as the regular Logic Seminar, there are various occasional seminars associated with individual research subgroups, some of these held jointly with the Manchester logicians. Computability Seminar Model Theory Seminar Proof Theory Seminar/ LAMPASS Seminars There are also seminars of interest to logicians held within the Computer Science and Philosophy departments. See, for instance, the History and Philosophy of Science (HPS) Seminar Programme, the Philosophy Seminar Programme, and the Informatics Network Seminars.