Title: Logic Colloquium '92