Welcome to LC2000 and its Summer School ELSS 2000 Site map Registration Program Contributed papers Grants Meals, Social Events Housing Transportation Satellite meeting Organising Committee The last European Congress of the Association for Symbolic Logic of the millennium will be held in Paris, July 23 - 31, 2000. The meeting site will be the Sorbonne, where David Hilbert presented his famous ...

LOGIC COLLOQUIUM 2002 (ASL European Summer Meeting) August 3 - 9, 2002 Institut fur Mathematische Logik und Grundlagenforschung Munster (Germany) e-mail: lc2002ms@math.uni-muenster.de Organizing Committee: Manfred Burghardt (Bonn), Justus Diller (Munster), Peter Koepke (Bonn), Benedikt L we (Bonn), Michael M llerfeld (Munster), Wolfram Pohlers (Munster, Chair), Andreas Weiermann (Munster) ...

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. Click above for Large Conference Poster Main Information Page Contents: Short Courses and Plenary Lectures Special Sessions (Computability, Models, Proofs, Sets) ...

Institute for Logic, Cognition, Language and Information Logic Colloquium 96 European Summer Meeting of the Association for Symbolic Logic Donostia - San Sebastian, Spain, July 9-15, 1996 LC'96 is organized by the Institute for Logic, Cognition, Language and Information (ILCLI) and the Dept. of Logic and Philosophy of Science of the University of the Basque Country; and supported by: Universidad ...