Logic List Mailing Archive
British Logic Colloquium 2004 (September 2004, Leeds)
BRITISH LOGIC COLLOQUIUM 2004
University of Leeds
September 6-8, 2004
http://www.maths.leeds.ac.uk/Pure/logic/blc04.html
The following have agreed to speak:
Volker Halbach (University of Konstanz)
Lorenz Halbeisen (Queen's University, Belfast)
Pascal Koiran (Lyon ENS)
John Longley (University of Edinburgh)
Angus Macintyre (University of Edinburgh)
Edmund Robinson (Queen Mary, University of London)
Ulrike Sattler (University of Manchester)
Anton Setzer (University of Wales at Swansea)
Peter Simons (University of Leeds)
John Tucker (University of Wales at Swansea)