First Announcement
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx

LOGIC COLLOQUIUM 97

European Summer Meeting of the Association for Symbolic Logic

University of Leeds UK, 6 - 13 July 1997
Scientific Programme 7 - 12 July.

xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx

MAIN TOPICS:  Computability Theory, Model Theory, Proof Theory,
              Set Theory, Philosophy and Psychology of Proof.

SHORT COURSE LECTURERS:  R. Shore (Cornell), A. Wilkie (Oxford),
                         M. Rathjen (Leeds), J. Steel (Berkeley).

PLENARY LECTURERS: P. Benacerraf (Princeton), U. Berger (Munich),
L. van den Dries (Urbana), S. Goncharov (Novosibirsk), R. Jensen (Berlin),
N. Jones (Copenhagen), B. Kim (Fields Inst), J. Knight (Notre Dame),
I. Neeman (UCLA), L. Newelski (Wroclaw), J. van Oosten (Amsterdam),
D. Over (Sunderland), P. Pudlak (Prague), G. Sacks (Harvard),
R. Soare (Chicago), S. Solecki (UCLA), L. Rips (North Western),
L. Wallen (Oxford).

SPECIAL SESSIONS: There will in addition be special sessions in the
main topics, and sessions for short contributed talks. The following
will chair the special sessions -

Computability Theory: K. Ambos-Spies (Heidelberg), S. Lempp (Madison).
Model Theory: A. Pillay (Urbana).
Proof Theory: H. Schwichtenberg (Munich), G. Jaeger (Bern).
Set Theory: S. Friedman (MIT).

CONTRIBUTED PAPERS: Abstracts of contributed papers (max. 300 words,
one-page-limit) should be sent by the deadline of April 6, 1997, to
the contact adress.

ACCOMMODATION: All participants will be housed at special rates in
Devonshire Hall, a well-appointed student residence, about 1 km away
from the university campus where all lectures will take place.
Accommodation consists mainly of single study-bedrooms ("standard"
with shared wc and shower facilities, and "superior" with en-suite
wc and shower). Approximate costs will be 22 UKPounds for bed and
breakfast per night in a standard room, 32 UKPounds in a superior
room. To include all meals (lunch and dinner) add 20 UKP per day.

CONFERENCE FEE: 110 UKPounds if registered before 6 April 1997, and
140 UKPounds thereafter. Accredited students will be charged half-fee.

The ASL will provide a number of modest travel grants to support graduate
students in logic. Applicants should send a brief letter of recommendation
from the thesis supervisor, together with a short description of present
work in logic and an estimate of expenses to be incurred, by 6 April 1997.

PROGRAMME COMMITTEE: S. Buss (San Diego), B. Cooper (Chair - Leeds),
W. Hodges (London), M. Hyland (Cambridge), A. Lachlan (Simon Fraser),
A. Louveau (Paris), Y. Moschovakis (UCLA), L. Pacholski (Wroclaw),
H. Schwichtenberg (Munich), T. Slaman (Chicago), J. Truss (Leeds),
H. Woodin (Berkeley).

LEEDS ORGANISING COMMITTEE: B. Cooper, J. Derrick, F. Drake,
B. Herwig, D. Macpherson, A. Slomson, J. Truss, S. Wainer (Chair).

CONTACT ADDRESS:  Logic Colloquium '97, School of Mathematics,
                  The University of Leeds, Leeds LS2 9JT, UK.

                  e-mail:  logic97@amsta.leeds.ac.uk
                  www:  http://www.amsta.leeds.ac.uk/events/logic97/

----------------------------------------------------------------------------

A Further Announcement, with application form etc, will appear in February
1997, but those wishing to register now may do so straight away.
----------------------------------------------------------------------------