Logic List Mailing Archive

LC2005, Athens (Greece, Jul/Aug 2005)

LOGIC COLLOQUIUM 2005

Athens (Greece), July 28 - August 3, 2005

http://eudoxos.math.uoa.gr/~lc2005/

Short Courses

(*) Computer Science Logic (Ph. G. Kolaitis - I.B.M. Almaden Research
    Center, U.S.A.)
(*) Model Theory (I. Ben-Yaacov - U. of Wisconsin, Madison, U.S.A.)
(*) Philosophy of Logic (Speaker to be announced)
(*) Proof Theory and Constructivity (P. Aczel - U. of Manchester, U.K.)

Plenary Lectures

(*) J. Bergstra - U. of Amsterdam, Netherlands
(*) 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
(*) J. Moore - Boise State U., Idaho, U.S.A.
(*) K. Weihrauch - U. of Hagen, Germany
(*) C. Parsons - Harvard U., U.S.A.
(*) J. Zapletal - U. of Florida,  Gainesville, U.S.A.