LOGIC COLLOQUIUM 1997 European Summer Meeting of the Association for Symbolic Logic University of Leeds, UK, 6 - 13 July MAIN TOPICS: Computability Theory, Model Theory, Proof Theory, Set Theory, Philosophy and Psychology of Proof.

Main Information Page Contents:

Short Courses and Plenary Lectures

Special Sessions (Computability, Models, Proofs, Sets)

Contributed Papers

Accommodation, Meals and Social Programme

Conference Fee, Method of Payment and Travel Grants

Programme Committee and Leeds Organising Committee

Sponsors

Other Useful Pages:

Information concerning the PROCEEDINGS of LC97

CONFERENCE PHOTOGRAPH (please feel free to download - click below for close-ups):

>

List of Contributed Papers accepted

Conference Timetable

List of Participants

The Conference Sites

How to get to Leeds and How to find the University

Directions to Devonshire Hall

Tourism ... and About the Yorkshire Dales:

Logic Colloquium '03, Helsinki, Finland, August 14-20, 2003

Logic Colloquium 2002, Munster, Germany, August 3-9, 2002

Logic Colloquium 2001, Vienna, August 6-11, 2001

Logic Colloquium 2000, Paris, July 23-31, 2000

Logic Colloquium '99, Utrecht, August 1-6, 1999

Logic Colloquium '98, Prague, August 9-15, 1998

Logic Colloquium '96, San Sebastian, July 9-15, 1996

Logic Colloquium '95, Haifa, August 9-17, 1995

For further information, or to be put on the mailing list for future announcements, write to the organisers at the following address:

CONTACT ADDRESS:

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

e-mail: logic97@amsta.leeds.ac.uk