2001 ASL European Summer Meeting (Logic Colloquium '01)