Logic Colloquium 2002 (ASL European Summer Meeting)