Author: Logic Colloquium '02 (2002 Münster, Germany)