Logic Colloquium 2000 by