Title: Logic Colloquium '85