The 2000 ASL European Summer Meeting (Logic Colloquium 2000)