[Conference Poster]

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.

Click above for Large Conference Poster

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

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:


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

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


You are visitor number to this page (since 20/2/97).

LC97 Web maintainer: S. B. Cooper, last changed 22 February 2002