[TYPES] LOGIC COLLOQUIUM '05

[Costas Dimitracopoulos]

                      FIRST ANNOUNCEMENT

          LOGIC COLLOQUIUM '05 - ASL EUROPEAN SUMMER MEETING

                July 28 - August 3, 2005, Athens, Greece


The conference will highlight the following areas: Computability Theory,
Computer Science Logic, Model Theory, Philosophy of Logic, Proof Theory 
and Set Theory. The scientific program of the conference will consist of 
four short courses, twelve plenary lectures, four special sessions and 
presentations of contributed papers. Authors of contributed papers are 
invited to submit abstracts by April 15, 2005. Each accepted paper will 
be allocated a twenty-minute period for presentation and questions. 


SHORT COURSES
Computer Science Logic - Ph. G. Kolaitis, I.B.M. Almaden Research Center 
                         and U.C.S.C., U.S.A. 
Model Theory - I. Ben-Yaacov, U. of Wisconsin, 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)
S. Goncharov (Novosibirsk State U., Russia)
D. Haskell (McMaster U., Canada) 
E. Jaligot (U. of Paris VII, France)
J. Moore (Boise State U., Idaho, U.S.A.)
C. Parsons (Harvard U., U.S.A.)
H. Schwichtenberg (U. of Munich, Germany)
M. Sheard (Saint Lawrence U., New York, U.S.A.) 
S. Tupailo (Tallinn U. of Technology, Estonia) 
K. Weihrauch (U. of Hagen, Germany) 
J. Zapletal (U. of Florida, Gainesville, U.S.A.)


PROGRAM COMMITTEE
C. T. Chong (U. of Singapore), C. Dimitracopoulos (U. of Athens), 
G. Jaeger (U. of Bern), H. Field (New York Univ.), G. Metakides 
(U. of Patras), L. Newelski (U. of Wroclaw), D. Normann (U. of Oslo), 
R. Parikh (City U. of New York), J. Steel (U. of California, Berkeley), 
S. Todorcevic (U. of Paris VII), J. Tucker (U. of Wales, Swansea), 
F. Wagner (U. of Lyon 1), S. Wainer (U. of Leeds, Chair).


ADDRESS
Logic Colloquium 2005
Department of Mathematics
University of Athens
GR-157 84 Zografou
Greece
email: lc2005 at math.uoa.gr


HTTP://www.math.uoa.gr/lc2005