Logic Colloquium '05


A.S.L. European Summer Meeting
Athens, Greece, July 28 – August 3, 2005

The conference is organized by the National and Kapodistrian University of Athens and its main themes are:
Computability Theory, Computer Science Logic, Model Theory, Philosophical Logic, Proof Theory and Set Theory.


Short Courses
Computer Science Logic
Ph. G. Kolaitis (I.B.M. Almaden Research Center, U.S.A.)
Philosophical Logic
G. Restall (U. of Melbourne, Australia)
Model Theory
I. Ben-Yaacov (U. of Wisconsin, Madison, U.S.A.)
Proof Theory and Constructivity
P. Aczel (U. of Manchester, U.K.)

Plenary Lectures
J. Bergstra (U. of Amsterdam, Netherlands) C. Parsons (Harvard U., U.S.A.)
S. Goncharov (Novosibirsk State U., Russia) H. Schwichtenberg (U. of Munich, Germany)
D. Haskell (McMaster U., Canada) M. Sheard (Saint Lawrence U., New York)
E. Jaligot (U. of Paris VII, France) S. Tupailo (Tallinn U. of Technology, Estonia
                            and Ohio State U., U.S.A.)
J. Moore (Boise State U., Idaho, U.S.A.) K. Weihrauch (U. of Hagen, Germany)
A. Nies (U. of Auckland, New Zealand) Notes J. Zapletal (U. of Florida, Gainesville, U.S.A.)

Special Sessions
Computability in Analysis
V. Brattka (U. of Cape Town, South Africa)
D. Spreen (U. of Siegen, Germany)
Model Theory
M. Edmundo (U. of Lisbon, Portugal)
P. Kowalski (U. of Wroclaw, Poland)
Computer Science Logic
W. van der Hoek (U. of Liverpool, U.K.)
S. Kreutzer (Humboldt U. of Berlin, Germany)
Philosophical Logic
H. Leitgeb (U. of Salzburg, Austria,
                  and Stanford U., U.S.A.)
S. Negri (U. of Helsinki, Finland)