Logic Colloquium 2004
ASL European Summer Meeting       Torino, 25-31 July 2004

Scientific and social program