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 2005 AUTUMN TERM September 28th John Mayberry (Bristol) Closure and embedding in simply infinite systems October 12th Klaus Thiel (Munich) Constructive Finiteness October 19th Dugald Macpherson (Leeds) Model theory and automorphism groups November 9th Michael Rathjen (Leeds) Models for intuitionistic set theories November 16th Anuj Dawar (Cambridge) Preservation properties in classes of finite structures November 23rd Roy Dyckhoff (St. Andrews) Decision methods for linearly ordered Heyting algebras November 30th Martin Ziegler (Freiburg) Red fusion December 7th Stan Wainer (Leeds) Accessible recursive functions Wednesday November 2nd SIGLaC half-day meeting on Mathematical Aspects of Computation with speakers Alan Bundy, Richard Jozsa and Robert Kowalski 1.30--5.00pm in the Staff Meeting Room, Room 9.31, School of Computing 1.00pm Welcome and Buffet Lunch, 3.30pm Tea/Coffee All lectures - apart from the SIGLaC meeting - will be held on Wednesdays at 4 pm in room H, Mathematics building. Tea at 3.30 pm - all welcome. SUMMER TERM April 20th Yuri Ershov (Sobolev Institute of Mathematics, Novosibirsk State University) Fine structure of Rodgers semilattices of finite partially ordered sets May 18th Lorenz Halbeisen (Queen's University Belfast / University of Bern) Cardinal relations in the absence of the Axiom of Choice May 25th Mehrnoosh Sadrzadeh (University of Quebec at Montreal, visiting Oxford) An algebraic approach to the logic of information flow June 1st Noam Greenberg (University of Notre Dame) True finiteness in admissible recursion theory SPRING TERM January 26th Richard Elwes (Leeds) Asymptotic classes of finite structures February 2nd Olivier Lessmann (Oxford) Uncountable categoricity for tame abstract classes with amalgamation February 16th Garth Dales (Leeds) How to multiply ultrafilters on semigroups March 2nd Charles Harris (Leeds) Lambda Calculus and Enumeration Reducibility March 9th Arnold Beckmann (Swansea) The computational content of dynamic ordinals Wednesday March 16th SIGLaC half-day workshop on Mathematical Aspects of Computation with speakers Jan Bergstra, Gordon Plotkin and Vlatko Vedral 1.30--5.00pm in the Staff Meeting Room, Room 9.31, School of Computing 1.00pm Welcome and Buffet Lunch, 3.30pm Tea/Coffee Seminar organiser - Michael Rathjen and (until September 2005) John Truss Past logic seminars - 2004, 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.