Title: Logic Colloquium '98