| 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) |