Logic Colloquium '01