Title: Logic Colloquium 99