Logic Colloquium '01 by