Parkinson Building Logic at Leeds

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.


Maintained by: Barry Cooper