Describir: Logic colloquium